awslabs / aws-templates-for-cbmc-proofs
Conditional Complexity

The distribution of complexity of units (measured with McCabe index).

Intro
  • Conditional complexity (also called cyclomatic complexity) is a term used to measure the complexity of software. The term refers to the number of possible paths through a program function. A higher value ofter means higher maintenance and testing costs (infosecinstitute.com).
  • Conditional complexity is calculated by counting all conditions in the program that can affect the execution path (e.g. if statement, loops, switches, and/or operators, try and catch blocks...).
  • Conditional complexity is measured at the unit level (methods, functions...).
  • Units are classified in four categories based on the measured McCabe index: 1-5 (simple units), 6-10 (medium complex units), 11-25 (complex units), 26+ (very complex units).
Learn more...
Conditional Complexity Overall
  • There are 64 units with 491 lines of code in units (78.4% of code).
    • 0 very complex units (0 lines of code)
    • 0 complex units (0 lines of code)
    • 0 medium complex units (0 lines of code)
    • 1 simple units (18 lines of code)
    • 63 very simple units (473 lines of code)
0% | 0% | 0% | 3% | 96%
Legend:
51+
26-50
11-25
6-10
1-5
Alternative Visuals
Conditional Complexity per Extension
51+
26-50
11-25
6-10
1-5
py0% | 0% | 0% | 4% | 95%
c0% | 0% | 0% | 0% | 100%
Conditional Complexity per Logical Component
primary logical decomposition
51+
26-50
11-25
6-10
1-5
template-for-repository/proofs0% | 0% | 0% | 10% | 89%
scripts0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/bounds_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/pointer_overflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/pointer_underflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/undefined_shift_check0% | 0% | 0% | 0% | 100%
template-for-proof0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/div_by_zero_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/signed_overflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/unsigned_overflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/assert0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/conversion_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/signed_underflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/nan_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/float_underflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/pointer_primitive_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/pointer_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/float_overflow_check0% | 0% | 0% | 0% | 100%
template-for-repository/negative_tests/unsigned_underflow_check0% | 0% | 0% | 0% | 100%
Most Complex Units
Top 20 most complex units
Unit# linesMcCabe index# params
def get_proof_dirs()
in template-for-repository/proofs/run-cbmc-proofs.py
18 9 3
def main()
in remove-apache-license-identifier.py
18 5 0
def run()
in remove-apache-license-identifier.py
19 4 3
def find_apache_references()
in remove-apache-license-identifier.py
5 4 1
def remove_apache_reference()
in remove-apache-license-identifier.py
20 4 2
def remove_apache_references()
in remove-apache-license-identifier.py
9 4 1
def check_uid_uniqueness()
in template-for-repository/proofs/run-cbmc-proofs.py
19 4 2
def configure_logging()
in remove-apache-license-identifier.py
7 3 1
def get_project_name()
in template-for-repository/proofs/run-cbmc-proofs.py
19 3 0
def task_pool_size()
in template-for-repository/proofs/run-cbmc-proofs.py
5 3 0
def run_build()
in template-for-repository/proofs/run-cbmc-proofs.py
9 3 2
def get_litani_capabilities()
in template-for-repository/proofs/run-cbmc-proofs.py
11 3 1
def files_under_root()
in scripts/util.py
8 3 1
def link_files()
in scripts/util.py
18 3 3
12 3 2
def create_parser()
in remove-apache-license-identifier.py
19 2 3
def get_args()
in template-for-repository/proofs/run-cbmc-proofs.py
54 2 0
def set_up_logging()
in template-for-repository/proofs/run-cbmc-proofs.py
7 2 1
def get_litani_path()
in template-for-repository/proofs/run-cbmc-proofs.py
14 2 1
def should_enable_memory_profiling()
in template-for-repository/proofs/run-cbmc-proofs.py
4 2 2