Path	Lines of Code
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/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