id: 1
unit: def get_args()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 54 LOC
McCabe index: 2
number of parameters: 0

id: 2
unit: def remove_apache_reference()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 4
number of parameters: 2

id: 3
unit: def create_parser()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 2
number of parameters: 3

id: 4
unit: def run()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 4
number of parameters: 3

id: 5
unit: def get_project_name()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 6
unit: def check_uid_uniqueness()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 4
number of parameters: 2

id: 7
unit: def main()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 5
number of parameters: 0

id: 8
unit: def get_proof_dirs()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 9
number of parameters: 3

id: 9
unit: def link_files()
file: scripts/util.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 3
number of parameters: 3

id: 10
unit: def parser()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 1
number of parameters: 0

id: 11
unit: def main()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 2
number of parameters: 0

id: 12
unit: def get_litani_path()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 13
unit: def copy_directory_contents()
file: scripts/util.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 3
number of parameters: 2

id: 14
unit: def get_litani_capabilities()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 1

id: 15
unit: def create_makefile_template_defines()
file: scripts/setup.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 4

id: 16
unit: def main()
file: scripts/setup.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 0

id: 17
unit: def remove_apache_references()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 18
unit: def run_build()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 19
unit: def maybe_a_copied_file()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 20
unit: def files_under_root()
file: scripts/util.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 21
unit: def configure_logging()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 22
unit: def set_up_logging()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 23
unit: void bounds_check_harness()
file: template-for-repository/negative_tests/bounds_check/bounds_check_harness.c
start line: 11
end line: 16
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 24
unit: def find_apache_references()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 4
number of parameters: 1

id: 25
unit: void pointer_overflow_check_harness()
file: template-for-repository/negative_tests/pointer_overflow_check/pointer_overflow_check_harness.c
start line: 11
end line: 15
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 26
unit: void pointer_underflow_check_harness()
file: template-for-repository/negative_tests/pointer_underflow_check/pointer_underflow_check_harness.c
start line: 11
end line: 15
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 27
unit: void cbmc_ensure__undefined_shift_check_harness()
file: template-for-repository/negative_tests/undefined_shift_check/undefined_shift_check_harness.c
start line: 9
end line: 13
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 28
unit: def task_pool_size()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 0

id: 29
unit: def print_counter()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 30
unit: void harness()
file: template-for-proof/FUNCTION_harness.c
start line: 19
end line: 25
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 31
unit: void div_by_zero_check_harness()
file: template-for-repository/negative_tests/div_by_zero_check/div_by_zero_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 32
unit: void signed_overflow_check_harness()
file: template-for-repository/negative_tests/signed_overflow_check/signed_overflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 33
unit: void unsigned_overflow_check_harness()
file: template-for-repository/negative_tests/unsigned_overflow_check/unsigned_overflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 34
unit: void assert_harness()
file: template-for-repository/negative_tests/assert/assert_harness.c
start line: 10
end line: 13
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 35
unit: void conversion_check_harness()
file: template-for-repository/negative_tests/conversion_check/conversion_check_harness.c
start line: 11
end line: 14
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 36
unit: void signed_underflow_check_harness()
file: template-for-repository/negative_tests/signed_underflow_check/signed_underflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 37
unit: void nan_check_harness()
file: template-for-repository/negative_tests/nan_check/nan_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 38
unit: void float_underflow_check_harness()
file: template-for-repository/negative_tests/float_underflow_check/float_underflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 39
unit: void pointer_primitive_check_harness()
file: template-for-repository/negative_tests/pointer_primitive_check/pointer_primitive_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 40
unit: void pointer_check_harness()
file: template-for-repository/negative_tests/pointer_check/pointer_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 41
unit: void float_overflow_check_harness()
file: template-for-repository/negative_tests/float_overflow_check/float_overflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 42
unit: void unsigned_underflow_check_harness()
file: template-for-repository/negative_tests/unsigned_underflow_check/unsigned_underflow_check_harness.c
start line: 9
end line: 12
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 43
unit: def should_enable_memory_profiling()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 44
unit: def should_enable_pools()
file: template-for-repository/proofs/run-cbmc-proofs.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 45
unit: def read_proof_template()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 46
unit: def copy_repository_templates()
file: scripts/util.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 47
unit: def proof_template_filenames()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 48
unit: def write_proof_template()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 49
unit: def rename_proof_harness()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 50
unit: def patch_path_to_makefile()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 51
unit: def patch_path_to_proof_root()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 52
unit: def patch_path_to_source_file()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 53
unit: def read_path_from_stdin()
file: scripts/util.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 54
unit: def read_function_name()
file: scripts/util.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 55
unit: def read_project_name()
file: scripts/util.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 56
unit: def strip_whitespace()
file: remove-apache-license-identifier.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 57
unit: def patch_function_name()
file: scripts/setup-proof.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 2

id: 58
unit: def script_dir()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 59
unit: def templates_root()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 60
unit: def read_from_stdin()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 61
unit: def read_source_root_path()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 62
unit: def read_proof_root_path()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 63
unit: def read_litani_path()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0

id: 64
unit: def read_source_path()
file: scripts/util.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0