path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
LICENSE.TXT	19	2	2063	2058	2016-06-08	2016-06-13
include/_builtin_common.h	12	3	1705	1548	2017-06-01	2017-11-05
include/_builtin_stdio_checked.h	132	4	1795	1546	2017-03-03	2017-11-07
include/_builtin_string_checked.h	56	5	1795	1546	2017-03-03	2017-11-07
include/arpa/inet.h	16	1	305	305	2021-04-01	2021-04-01
include/arpa/inet_checked.h	21	4	1244	305	2018-09-05	2021-04-01
include/assert.h	12	1	305	305	2021-04-01	2021-04-01
include/assert_checked.h	38	5	1272	305	2018-08-08	2021-04-01
include/checkedc_extensions.h	25	6	1287	234	2018-07-24	2021-06-11
include/errno.h	12	1	305	305	2021-04-01	2021-04-01
include/errno_checked.h	23	4	1278	305	2018-08-02	2021-04-01
include/fenv.h	12	1	305	305	2021-04-01	2021-04-01
include/fenv_checked.h	22	6	1872	305	2016-12-16	2021-04-01
include/inttypes_checked.h	2	8	1872	305	2016-12-16	2021-04-01
include/inttypes_checked_internal.h	40	1	305	305	2021-04-01	2021-04-01
include/math.h	12	1	305	305	2021-04-01	2021-04-01
include/math_checked.h	29	7	1872	305	2016-12-16	2021-04-01
include/signal.h	12	1	305	305	2021-04-01	2021-04-01
include/signal_checked.h	22	6	1872	305	2016-12-16	2021-04-01
include/stdchecked.h	15	6	1963	1211	2016-09-16	2018-10-08
include/stdio.h	12	1	305	305	2021-04-01	2021-04-01
include/stdio_checked.h	140	17	1872	234	2016-12-16	2021-06-11
include/stdlib.h	12	1	305	305	2021-04-01	2021-04-01
include/stdlib_checked.h	84	14	1872	305	2016-12-16	2021-04-01
include/string.h	12	1	305	305	2021-04-01	2021-04-01
include/string_checked.h	105	19	1872	305	2016-12-16	2021-04-01
include/sys/socket.h	16	1	305	305	2021-04-01	2021-04-01
include/sys/socket_checked.h	110	5	1244	305	2018-09-05	2021-04-01
include/threads.h	16	1	305	305	2021-04-01	2021-04-01
include/threads_checked.h	67	6	1872	305	2016-12-16	2021-04-01
include/time.h	12	1	305	305	2021-04-01	2021-04-01
include/time_checked.h	32	7	1872	305	2016-12-16	2021-04-01
include/unistd.h	16	1	305	305	2021-04-01	2021-04-01
include/unistd_checked.h	32	7	1546	305	2017-11-07	2021-04-01
papers/dynamic_checks/abstract.tex	21	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/c_syntax.tex	74	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/checked_c.sty	269	2	1470	1015	2018-01-22	2019-04-22
papers/dynamic_checks/checkedc.bib	2198	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/checks.tex	267	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/conclusion.tex	19	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/evaluation.tex	155	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/example.tex	316	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/grammars/lvalue-expressions.tex	28	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/hyperendnotes.sty	157	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/introduction.tex	107	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/listing-label.sty	38	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/overview.tex	226	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/propagation.tex	277	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/propagation_rules.tex	94	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/related_work.tex	69	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/scripts/bm_res.r	126	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/scripts/bm_res_install.r	1	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/scripts/bm_results_macros.tex	20	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/scripts/bm_results_tab.tex	16	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/tables/bmdesc.tex	35	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/tables/bmresults.tex	31	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/tables/canonical.tex	29	1	1470	1470	2018-01-22	2018-01-22
papers/dynamic_checks/tr02.tex	57	1	1470	1470	2018-01-22	2018-01-22
spec/bounds_safety/abstract.tex	39	8	2191	1243	2016-02-01	2018-09-06
spec/bounds_safety/checkedc.tex	221	38	2191	269	2016-02-01	2021-05-07
spec/bounds_safety/checking-variable-bounds.tex	2120	30	2183	235	2016-02-09	2021-06-10
spec/bounds_safety/core-extensions.tex	1396	43	2191	153	2016-02-01	2021-08-31
spec/bounds_safety/design-alternatives.tex	884	23	2191	311	2016-02-01	2021-03-26
spec/bounds_safety/fragments.tex	85	7	2191	1455	2016-02-01	2018-02-06
spec/bounds_safety/interoperation.tex	1364	45	2191	146	2016-02-01	2021-09-07
spec/bounds_safety/introduction.tex	449	27	2191	369	2016-02-01	2021-01-27
spec/bounds_safety/lessons.tex	328	8	2191	1455	2016-02-01	2018-02-06
spec/bounds_safety/open-issues.tex	81	15	2191	1455	2016-02-01	2018-02-06
spec/bounds_safety/pictures/build-pics.tex	12	2	2188	2169	2016-02-04	2016-02-23
spec/bounds_safety/pictures/rel-align-picture1.tex	32	3	2188	1455	2016-02-04	2018-02-06
spec/bounds_safety/pointers-to-pointers.tex	258	10	2191	311	2016-02-01	2021-03-26
spec/bounds_safety/related-work.tex	795	7	2088	850	2016-05-14	2019-10-04
spec/bounds_safety/simple-invariants.tex	384	12	2191	311	2016-02-01	2021-03-26
spec/bounds_safety/sources.bib	2135	12	2189	850	2016-02-03	2019-10-04
spec/bounds_safety/span-compilation.tex	182	2	2112	1455	2016-04-20	2018-02-06
spec/bounds_safety/structure-bounds.tex	224	19	2191	953	2016-02-01	2019-06-23
spec/bounds_safety/variable-bounds.tex	1566	36	2183	311	2016-02-09	2021-03-26
spec/bounds_safety/void-ptr-replacements.tex	314	5	1243	180	2018-09-06	2021-08-04