duplicated block id: 1 size: 532 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1772:2342) - spec/bounds_safety/sources.bib (1727:2297) duplicated block id: 2 size: 390 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (468:883) - spec/bounds_safety/sources.bib (309:724) duplicated block id: 3 size: 271 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1244:1536) - spec/bounds_safety/sources.bib (1123:1414) duplicated block id: 4 size: 190 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (264:466) - spec/bounds_safety/sources.bib (99:301) duplicated block id: 5 size: 110 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (962:1083) - spec/bounds_safety/sources.bib (821:942) duplicated block id: 6 size: 85 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (175:264) - spec/bounds_safety/sources.bib (1:90) duplicated block id: 7 size: 85 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1092:1183) - spec/bounds_safety/sources.bib (971:1062) duplicated block id: 8 size: 83 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1539:1628) - spec/bounds_safety/sources.bib (1428:1517) duplicated block id: 9 size: 72 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (885:962) - spec/bounds_safety/sources.bib (733:810) duplicated block id: 10 size: 63 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1692:1759) - spec/bounds_safety/sources.bib (1629:1696) duplicated block id: 11 size: 59 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1628:1692) - spec/bounds_safety/sources.bib (1547:1611) duplicated block id: 12 size: 52 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1186:1242) - spec/bounds_safety/sources.bib (1065:1121) duplicated block id: 13 size: 13 cleaned lines of code in 2 files: - spec/bounds_safety/span-compilation.tex (98:110) - spec/bounds_safety/span-compilation.tex (123:135) duplicated block id: 14 size: 12 cleaned lines of code in 2 files: - papers/dynamic_checks/example.tex (168:181) - papers/dynamic_checks/example.tex (238:251) duplicated block id: 15 size: 12 cleaned lines of code in 2 files: - papers/dynamic_checks/example.tex (168:181) - papers/dynamic_checks/example.tex (349:362) duplicated block id: 16 size: 12 cleaned lines of code in 2 files: - papers/dynamic_checks/example.tex (238:251) - papers/dynamic_checks/example.tex (349:362) duplicated block id: 17 size: 8 cleaned lines of code in 2 files: - spec/bounds_safety/span-compilation.tex (146:153) - spec/bounds_safety/span-compilation.tex (169:176) duplicated block id: 18 size: 8 cleaned lines of code in 2 files: - spec/bounds_safety/lessons.tex (30:37) - spec/bounds_safety/related-work.tex (785:792) duplicated block id: 19 size: 8 cleaned lines of code in 2 files: - spec/bounds_safety/span-compilation.tex (155:162) - spec/bounds_safety/span-compilation.tex (177:184) duplicated block id: 20 size: 8 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (1085:1092) - spec/bounds_safety/sources.bib (944:951) duplicated block id: 21 size: 8 cleaned lines of code in 2 files: - spec/bounds_safety/span-compilation.tex (70:77) - spec/bounds_safety/span-compilation.tex (100:107) duplicated block id: 22 size: 8 cleaned lines of code in 2 files: - spec/bounds_safety/span-compilation.tex (70:77) - spec/bounds_safety/span-compilation.tex (125:132) duplicated block id: 23 size: 8 cleaned lines of code in 2 files: - papers/dynamic_checks/checkedc.bib (84:91) - spec/bounds_safety/sources.bib (1416:1423) duplicated block id: 24 size: 7 cleaned lines of code in 2 files: - spec/bounds_safety/lessons.tex (15:21) - spec/bounds_safety/related-work.tex (771:777) duplicated block id: 25 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/simple-invariants.tex (171:176) - spec/bounds_safety/simple-invariants.tex (187:192) duplicated block id: 26 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/design-alternatives.tex (590:595) - spec/bounds_safety/variable-bounds.tex (136:141) duplicated block id: 27 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/structure-bounds.tex (21:26) - spec/bounds_safety/structure-bounds.tex (28:33) duplicated block id: 28 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/variable-bounds.tex (1397:1402) - spec/bounds_safety/variable-bounds.tex (1423:1428) duplicated block id: 29 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/core-extensions.tex (1181:1186) - spec/bounds_safety/core-extensions.tex (1221:1226) duplicated block id: 30 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/simple-invariants.tex (187:192) - spec/bounds_safety/simple-invariants.tex (360:365) duplicated block id: 31 size: 6 cleaned lines of code in 2 files: - include/_builtin_stdio_checked.h (68:75) - include/_builtin_stdio_checked.h (90:96) duplicated block id: 32 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/simple-invariants.tex (171:176) - spec/bounds_safety/simple-invariants.tex (360:365) duplicated block id: 33 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/lessons.tex (259:264) - spec/bounds_safety/related-work.tex (812:817) duplicated block id: 34 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/simple-invariants.tex (394:399) - spec/bounds_safety/simple-invariants.tex (414:419) duplicated block id: 35 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/simple-invariants.tex (177:182) - spec/bounds_safety/simple-invariants.tex (194:199) duplicated block id: 36 size: 6 cleaned lines of code in 2 files: - include/_builtin_stdio_checked.h (77:87) - include/_builtin_stdio_checked.h (99:108) duplicated block id: 37 size: 6 cleaned lines of code in 2 files: - include/_builtin_stdio_checked.h (27:33) - include/_builtin_stdio_checked.h (47:53) duplicated block id: 38 size: 6 cleaned lines of code in 2 files: - spec/bounds_safety/variable-bounds.tex (267:273) - spec/bounds_safety/variable-bounds.tex (751:757)