Path	Lines of Code
CONTRIBUTING.md	57
README.md	66
WishList.md	54
papers/dynamic_checks/README.md	5
samples/README.md	9
samples/avoid-warning.c	13
samples/echo-args-buggy.c	11
samples/echo-args.c	13
samples/exit-on-failure.c	20
samples/find-pattern.c	52
samples/hello-world.c	7
samples/spec/2_3_1_add.c	8
samples/spec/2_7_checked.c	6
samples/spec/2_8_append.c	13
samples/spec/3_11_compare.c	26
samples/spec/3_11_sum.c	11
samples/spec/3_2_1_add.c	11
samples/spec/3_2_1_find.c	9
samples/spec/3_2_1_sum.c	9
samples/spec/3_2_1_sum_extern.c	10
samples/spec/3_2_2_find.c	11
samples/spec/3_4_array_ptr.c	12
samples/spec/3_4_ptr.c	13
samples/string-helpers.c	71
spec/bounds_safety/README.md	26
tests/dynamic_checking/README.md	45
tests/runtime_operations/README.md	4