Path	Lines of Code
LICENSE.TXT	19
include/_builtin_common.h	12
include/_builtin_stdio_checked.h	132
include/_builtin_string_checked.h	56
include/arpa/inet.h	16
include/arpa/inet_checked.h	21
include/assert.h	12
include/assert_checked.h	38
include/checkedc_extensions.h	25
include/errno.h	12
include/errno_checked.h	23
include/fenv.h	12
include/fenv_checked.h	22
include/inttypes_checked.h	2
include/inttypes_checked_internal.h	40
include/math.h	12
include/math_checked.h	29
include/signal.h	12
include/signal_checked.h	22
include/stdchecked.h	15
include/stdio.h	12
include/stdio_checked.h	140
include/stdlib.h	12
include/stdlib_checked.h	84
include/string.h	12
include/string_checked.h	105
include/sys/socket.h	16
include/sys/socket_checked.h	110
include/threads.h	16
include/threads_checked.h	67
include/time.h	12
include/time_checked.h	32
include/unistd.h	16
include/unistd_checked.h	32
papers/dynamic_checks/abstract.tex	21
papers/dynamic_checks/c_syntax.tex	74
papers/dynamic_checks/checked_c.sty	269
papers/dynamic_checks/checkedc.bib	2198
papers/dynamic_checks/checks.tex	267
papers/dynamic_checks/conclusion.tex	19
papers/dynamic_checks/evaluation.tex	155
papers/dynamic_checks/example.tex	316
papers/dynamic_checks/grammars/lvalue-expressions.tex	28
papers/dynamic_checks/hyperendnotes.sty	157
papers/dynamic_checks/introduction.tex	107
papers/dynamic_checks/listing-label.sty	38
papers/dynamic_checks/overview.tex	226
papers/dynamic_checks/propagation.tex	277
papers/dynamic_checks/propagation_rules.tex	94
papers/dynamic_checks/related_work.tex	69
papers/dynamic_checks/scripts/bm_res.r	126
papers/dynamic_checks/scripts/bm_res_install.r	1
papers/dynamic_checks/scripts/bm_results_macros.tex	20
papers/dynamic_checks/scripts/bm_results_tab.tex	16
papers/dynamic_checks/tables/bmdesc.tex	35
papers/dynamic_checks/tables/bmresults.tex	31
papers/dynamic_checks/tables/canonical.tex	29
papers/dynamic_checks/tr02.tex	57
spec/bounds_safety/abstract.tex	39
spec/bounds_safety/checkedc.tex	221
spec/bounds_safety/checking-variable-bounds.tex	2120
spec/bounds_safety/core-extensions.tex	1396
spec/bounds_safety/design-alternatives.tex	884
spec/bounds_safety/fragments.tex	85
spec/bounds_safety/interoperation.tex	1364
spec/bounds_safety/introduction.tex	449
spec/bounds_safety/lessons.tex	328
spec/bounds_safety/open-issues.tex	81
spec/bounds_safety/pictures/build-pics.tex	12
spec/bounds_safety/pictures/rel-align-picture1.tex	32
spec/bounds_safety/pointers-to-pointers.tex	258
spec/bounds_safety/related-work.tex	795
spec/bounds_safety/simple-invariants.tex	384
spec/bounds_safety/sources.bib	2135
spec/bounds_safety/span-compilation.tex	182
spec/bounds_safety/structure-bounds.tex	224
spec/bounds_safety/variable-bounds.tex	1566
spec/bounds_safety/void-ptr-replacements.tex	314