Path	Lines of Code
remove-apache-license-identifier.py	133
scripts/setup-proof.py	46
scripts/setup.py	29
scripts/util.py	77
template-for-proof/FUNCTION_harness.c	4
template-for-repository/negative_tests/assert/assert_harness.c	4
template-for-repository/negative_tests/bounds_check/bounds_check_harness.c	7
template-for-repository/negative_tests/conversion_check/conversion_check_harness.c	5
template-for-repository/negative_tests/div_by_zero_check/div_by_zero_check_harness.c	4
template-for-repository/negative_tests/float_overflow_check/float_overflow_check_harness.c	4
template-for-repository/negative_tests/float_underflow_check/float_underflow_check_harness.c	4
template-for-repository/negative_tests/nan_check/nan_check_harness.c	4
template-for-repository/negative_tests/pointer_check/pointer_check_harness.c	4
template-for-repository/negative_tests/pointer_overflow_check/pointer_overflow_check_harness.c	6
template-for-repository/negative_tests/pointer_primitive_check/pointer_primitive_check_harness.c	4
template-for-repository/negative_tests/pointer_underflow_check/pointer_underflow_check_harness.c	6
template-for-repository/negative_tests/signed_overflow_check/signed_overflow_check_harness.c	4
template-for-repository/negative_tests/signed_underflow_check/signed_underflow_check_harness.c	4
template-for-repository/negative_tests/undefined_shift_check/undefined_shift_check_harness.c	5
template-for-repository/negative_tests/unsigned_overflow_check/unsigned_overflow_check_harness.c	4
template-for-repository/negative_tests/unsigned_underflow_check/unsigned_underflow_check_harness.c	4
template-for-repository/proofs/run-cbmc-proofs.py	264