awslabs / aws-templates-for-cbmc-proofs
Duplication

Places in code with 6 or more lines that are exactly the same.

Intro
  • For duplication, we look at places in code where there are 6 or more lines of code that are exactly the same.
  • Before duplication is calculated, the code is cleaned to remove empty lines, comments, and frequently duplicated constructs such as imports.
  • You should aim at having as little as possible (<5%) of duplicated code as high-level of duplication can lead to maintenance difficulties, poor factoring, and logical contradictions.
Learn more...
Duplication Overall
  • 0% duplication:
    • 576 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
    • 0 duplicated lines
  • 0 duplicates
system0% (0 lines)
Duplication per Extension
Duplication per Component (primary)
ROOT0% (0 lines)
template-for-proof0% (0 lines)
template-for-repository/negative_tests/div_by_zero_check0% (0 lines)
template-for-repository/negative_tests/signed_overflow_check0% (0 lines)
template-for-repository/negative_tests/unsigned_overflow_check0% (0 lines)
template-for-repository/negative_tests/pointer_overflow_check0% (0 lines)
template-for-repository/negative_tests/assert0% (0 lines)
template-for-repository/negative_tests/conversion_check0% (0 lines)
template-for-repository/negative_tests/signed_underflow_check0% (0 lines)
template-for-repository/negative_tests/nan_check0% (0 lines)
template-for-repository/negative_tests/pointer_underflow_check0% (0 lines)
template-for-repository/negative_tests/undefined_shift_check0% (0 lines)
template-for-repository/negative_tests/float_underflow_check0% (0 lines)
template-for-repository/negative_tests/pointer_primitive_check0% (0 lines)
template-for-repository/negative_tests/pointer_check0% (0 lines)
template-for-repository/negative_tests/float_overflow_check0% (0 lines)
template-for-repository/negative_tests/unsigned_underflow_check0% (0 lines)
template-for-repository/negative_tests/bounds_check0% (0 lines)
template-for-repository/proofs0% (0 lines)
scripts0% (0 lines)
Longest Duplicates
The list of 0 longest duplicates.
See data for all 0 duplicates...
Size#FoldersFilesLinesCode