Path	Lines of Code
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/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/tr02.tex	57