The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
checkedc.bib in papers/dynamic_checks |
2198 | - |
sources.bib in spec/bounds_safety |
2135 | - |
checking-variable-bounds.tex in spec/bounds_safety |
2120 | - |
variable-bounds.tex in spec/bounds_safety |
1566 | - |
core-extensions.tex in spec/bounds_safety |
1396 | - |
interoperation.tex in spec/bounds_safety |
1364 | - |
design-alternatives.tex in spec/bounds_safety |
884 | - |
related-work.tex in spec/bounds_safety |
795 | - |
introduction.tex in spec/bounds_safety |
449 | - |
simple-invariants.tex in spec/bounds_safety |
384 | - |
lessons.tex in spec/bounds_safety |
328 | - |
example.tex in papers/dynamic_checks |
316 | - |
void-ptr-replacements.tex in spec/bounds_safety |
314 | - |
propagation.tex in papers/dynamic_checks |
277 | - |
checked_c.sty in papers/dynamic_checks |
269 | - |
checks.tex in papers/dynamic_checks |
267 | - |
pointers-to-pointers.tex in spec/bounds_safety |
258 | - |
overview.tex in papers/dynamic_checks |
226 | - |
structure-bounds.tex in spec/bounds_safety |
224 | - |
checkedc.tex in spec/bounds_safety |
221 | - |
span-compilation.tex in spec/bounds_safety |
182 | - |
hyperendnotes.sty in papers/dynamic_checks |
157 | - |
evaluation.tex in papers/dynamic_checks |
155 | - |
stdio_checked.h in include |
140 | - |
_builtin_stdio_checked.h in include |
132 | - |
bm_res.r in papers/dynamic_checks/scripts |
126 | - |
socket_checked.h in include/sys |
110 | - |
introduction.tex in papers/dynamic_checks |
107 | - |
string_checked.h in include |
105 | - |
propagation_rules.tex in papers/dynamic_checks |
94 | - |
fragments.tex in spec/bounds_safety |
85 | - |
stdlib_checked.h in include |
84 | - |
open-issues.tex in spec/bounds_safety |
81 | - |
c_syntax.tex in papers/dynamic_checks |
74 | - |
related_work.tex in papers/dynamic_checks |
69 | - |
threads_checked.h in include |
67 | - |
tr02.tex in papers/dynamic_checks |
57 | - |
_builtin_string_checked.h in include |
56 | - |
inttypes_checked_internal.h in include |
40 | - |
abstract.tex in spec/bounds_safety |
39 | - |
assert_checked.h in include |
38 | - |
listing-label.sty in papers/dynamic_checks |
38 | - |
bmdesc.tex in papers/dynamic_checks/tables |
35 | - |
time_checked.h in include |
32 | - |
unistd_checked.h in include |
32 | - |
rel-align-picture1.tex in spec/bounds_safety/pictures |
32 | - |
bmresults.tex in papers/dynamic_checks/tables |
31 | - |
math_checked.h in include |
29 | - |
canonical.tex in papers/dynamic_checks/tables |
29 | - |
lvalue-expressions.tex in papers/dynamic_checks/grammars |
28 | - |
File | # lines | # units |
---|---|---|
checkedc_extensions.h in include |
25 | 1 |
There are 16 files with lines longer than 120 characters. In total, there are 102 long lines.
File | # lines | # units | # long lines |
---|---|---|---|
checkedc.bib in papers/dynamic_checks |
2198 | - | 27 |
sources.bib in spec/bounds_safety |
2135 | - | 25 |
related-work.tex in spec/bounds_safety |
795 | - | 19 |
checking-variable-bounds.tex in spec/bounds_safety |
2120 | - | 7 |
bm_res.r in papers/dynamic_checks/scripts |
126 | - | 6 |
example.tex in papers/dynamic_checks |
316 | - | 4 |
interoperation.tex in spec/bounds_safety |
1364 | - | 3 |
variable-bounds.tex in spec/bounds_safety |
1566 | - | 3 |
assert_checked.h in include |
38 | - | 1 |
stdlib_checked.h in include |
84 | - | 1 |
checks.tex in papers/dynamic_checks |
267 | - | 1 |
propagation_rules.tex in papers/dynamic_checks |
94 | - | 1 |
checkedc.tex in spec/bounds_safety |
221 | - | 1 |
design-alternatives.tex in spec/bounds_safety |
884 | - | 1 |
introduction.tex in spec/bounds_safety |
449 | - | 1 |
simple-invariants.tex in spec/bounds_safety |
384 | - | 1 |