Regression 7.3.0 -> 8.0.0: -2046 score, 1098 correct->timeout, 37 new no-overflow false alarms

[leventeBajczi]

Full SV-COMP run, --portfolio COMPLEX27, 900s / 15GB / 2 cores, both on Intel Xeon E3-1230 v5 @ 3.40 GHz (same vcloud apollon pool), identical 36531-task set.

• known-good: 12ff1ce508 (Theta 7.3.0, run 102, 2026-08-23)
• known-bad: b7ab26070e (Theta 8.0.0, run 110, 2026-09-09)

	7.3.0	8.0.0	delta
correct	14866	14018	-848
wrong	72	102	+30
missed bugs	26	18	-8
false alarms	46	84	+38
timeout	16054	17082	+1028
out of memory	2785	2821	+36
tool error	2337	2103	-234
score	22536	20490	-2046

Transitions (rows 7.3.0, cols 8.0.0), largest first:

1098  correct -> timeout
 302  oom     -> timeout
 289  timeout -> oom
 214  timeout -> correct
 182  error   -> timeout

1. Performance regression: 1098 correct -> timeout

Against 214 the other way. By property: valid-memsafety 618, no-overflow 222, unreach-call 149, termination 96, no-data-race 10, valid-memcleanup 3.

valid-memsafety, all 618 tasks

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_calloc_63_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_calloc_64_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_02_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_03_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_04_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_05_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_06_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_07_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_08_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_09_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_10_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_11_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_13_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_14_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_15_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_21_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_22_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_63_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_64_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_02_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_03_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_04_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_05_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_06_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_07_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_08_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_09_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_10_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_11_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_13_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_14_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_15_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_21_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_22_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_66_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_64_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_02_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_03_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_04_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_05_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_06_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_07_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_08_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_09_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_10_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_11_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_13_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_14_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_15_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_21_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_22_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_02_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_03_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_04_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_05_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_06_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_07_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_08_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_09_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_10_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_11_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_13_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_14_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_15_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_21_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_22_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_68_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_01_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_12_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_16_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_17_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_18_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_31_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_34_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_41_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_42_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_44_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_45_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_45_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_51_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_52_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_53_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_54_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_61_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_65_good.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_68_bad.yml
c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_68_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_01_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_02_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_03_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_04_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_05_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_06_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_07_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_08_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_09_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_10_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_11_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_12_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_13_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_14_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_15_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_16_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_17_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_18_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_21_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_22_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_31_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_34_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_41_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_42_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_44_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_45_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_51_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_52_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_53_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_54_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_61_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_63_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_64_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_64_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_65_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_66_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_67_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_68_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_01_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_02_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_03_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_04_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_05_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_06_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_07_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_08_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_09_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_10_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_11_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_12_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_13_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_14_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_15_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_16_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_17_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_18_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_21_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_22_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_31_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_34_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_41_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_42_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_44_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_45_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_51_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_52_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_53_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_54_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_61_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_63_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_63_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_64_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_65_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_66_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_66_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_67_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_68_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_01_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_02_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_03_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_04_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_05_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_06_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_07_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_08_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_09_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_10_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_11_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_12_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_13_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_14_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_15_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_16_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_17_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_18_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_21_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_22_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_31_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_32_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_34_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_41_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_42_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_44_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_45_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_51_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_52_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_53_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_54_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_61_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_63_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_64_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_65_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_66_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_66_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_67_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_68_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_01_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_02_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_03_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_04_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_05_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_06_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_07_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_08_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_09_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_10_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_11_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_12_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_13_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_14_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_15_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_16_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_17_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_18_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_21_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_22_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_31_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_32_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_34_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_41_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_42_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_44_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_45_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_51_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_52_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_53_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_54_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_61_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_63_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_64_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_65_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_66_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_67_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_68_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_01_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_02_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_03_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_04_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_05_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_06_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_07_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_08_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_09_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_10_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_11_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_12_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_13_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_14_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_15_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_16_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_17_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_18_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_21_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_22_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_31_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_34_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_41_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_42_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_44_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_45_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_51_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_52_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_53_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_54_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_61_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_63_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_64_bad.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_64_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_65_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_66_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_67_good.yml
c/Juliet_Test/CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_68_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_01_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_02_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_03_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_04_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_05_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_06_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_07_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_08_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_09_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_10_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_11_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_12_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_13_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_14_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_15_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_16_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_17_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_18_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_21_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_22_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_31_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_32_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_34_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_41_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_44_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_45_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_51_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_52_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_53_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_54_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_63_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_64_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_65_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_66_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_67_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int64_t_68_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_01_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_02_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_03_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_04_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_05_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_06_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_07_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_08_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_09_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_10_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_11_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_12_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_13_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_14_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_15_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_16_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_17_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_18_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_21_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_22_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_31_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_32_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_34_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_41_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_44_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_45_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_51_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_52_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_53_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_54_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_63_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_64_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_65_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_66_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_67_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__int_68_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_01_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_02_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_03_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_04_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_05_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_06_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_07_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_08_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_09_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_10_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_11_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_12_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_13_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_14_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_15_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_16_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_17_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_18_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_21_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_22_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_31_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_32_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_34_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_41_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_44_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_45_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_51_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_52_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_53_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_54_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_63_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_64_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_65_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_66_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_67_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__long_68_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_01_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_02_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_03_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_04_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_05_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_06_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_07_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_08_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_09_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_10_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_11_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_12_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_13_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_14_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_15_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_16_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_17_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_18_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_21_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_22_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_31_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_32_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_34_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_41_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_44_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_45_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_51_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_52_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_53_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_54_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_63_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_64_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_65_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_67_good.yml
c/Juliet_Test/CWE476_NULL_Pointer_Dereference---CWE476_NULL_Pointer_Dereference__struct_68_good.yml
c/Juliet_Test/CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap---s04---CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap__deref_int_declare_34_bad.yml
c/Juliet_Test/CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap---s04---CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap__deref_int_static_34_bad.yml
c/Juliet_Test/CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap---s05---CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap__deref_long_static_32_bad.yml
c/Juliet_Test/CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap---s05---CWE590_Deref_Out_Of_Scope_Memory_Not_on_Heap__deref_struct_declare_63_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_01_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_02_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_03_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_04_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_05_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_06_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_07_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_08_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_09_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_10_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_11_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_12_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_13_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_14_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_15_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_16_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_17_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_18_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_31_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_32_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_34_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_41_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_44_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_45_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_51_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_52_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_53_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_54_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_63_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_64_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_65_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_66_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_67_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_alloca_68_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_declare_63_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_declare_64_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_static_63_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_char_static_64_bad.yml
c/Juliet_Test/CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_alloca_06_bad.yml
c/Juliet_Test/CWE590_Use_Stack_Memory_Out_Of_Scope---s04---CWE590_Use_Stack_Memory_Out_Of_Scope__deref_int64_t_static_67_bad.yml
c/Juliet_Test/CWE590_Use_Stack_Memory_Out_Of_Scope---s05---CWE590_Use_Stack_Memory_Out_Of_Scope__deref_struct_static_45_bad.yml
c/goblint-regression/09-regions_06-ptra_nr.yml
c/ldv-regression/test27-2.yml
c/list-simple/sll2c_update_all.yml
c/list-simple/sll2n_update_all.yml
c/memsafety-bftpd/bftpd_2.yml
c/memsafety-ext3/getNumbers1-2.yml
c/memsafety-ext3/getNumbers4-1.yml
c/pthread-C-DAC/pthread-demo-datarace-3.yml
c/pthread-divine/tls_destructor_worker.yml
c/termination-dietlibc/strcpy_small.yml
c/weaver/fibonacci.wvr.yml
c/weaver/popl20-bad-counter-queue2.wvr.yml
c/weaver/popl20-counter-determinism.wvr.yml

2. Soundness regression: 37 correct -> wrong

All in no-overflow, all false(no-overflow), i.e. false alarms; no new missed bugs.

c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_21_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_22_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_31_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_41_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_42_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_44_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_45_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_52_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_53_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_54_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_61_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_65_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_02_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_03_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_05_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_06_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_07_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_08_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_11_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_13_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_14_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_15_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_16_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_18_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_21_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_22_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_31_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_41_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_42_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_44_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_51_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_52_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_53_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_54_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_61_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_65_good.yml	no-overflow	expected=true	run110=false(no-overflow)
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_68_good.yml	no-overflow	expected=true	run110=false(no-overflow)

Not a regression

6 previously wrong are now correct, 5 of them missed data races: thread-join-counter-outer-race-{2,3,4}, thread-join-counter-inner-race-3, 09-regions_28-list2alloc (no-data-race), tls_basic (unreach-call). Tool errors are down 234, driven by frontend failed, after parsing finished -148 and solver error -77.

Artifacts

validmemsafety2col.table.html

nooverflow2col.table.html

[leventeBajczi]

Remaining correct -> timeout tasks, by property (valid-memsafety is in the issue body).

no-overflow, 222 tasks

c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_01_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_02_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_03_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_04_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_04_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_05_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_05_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_06_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_06_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_07_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_07_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_08_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_08_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_09_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_10_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_10_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_11_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_12_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_13_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_13_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_14_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_15_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_16_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_17_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_18_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_32_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_34_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_34_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_41_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_42_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_44_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_51_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_53_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_61_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_63_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_63_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_64_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_64_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_66_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_67_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_68_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_fscanf_square_68_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_max_square_12_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_max_square_34_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_max_square_63_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_max_square_67_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_01_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_04_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_09_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_10_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_12_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_17_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_32_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_34_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_45_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_63_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_64_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_66_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int64_t_rand_square_67_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_01_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_01_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_02_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_03_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_03_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_04_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_05_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_05_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_06_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_07_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_07_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_08_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_08_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_09_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_09_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_10_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_11_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_12_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_13_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_14_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_15_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_15_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_16_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_17_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_18_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_21_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_21_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_22_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_31_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_31_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_32_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_32_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_34_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_41_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_41_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_42_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_42_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_44_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_44_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_45_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_51_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_51_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_52_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_52_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_53_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_54_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_61_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_61_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_63_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_64_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_64_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_65_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_66_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_67_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_67_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_68_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_fscanf_square_68_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_12_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_32_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_32_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_34_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_63_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_63_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_64_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_64_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_66_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_66_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_67_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_max_square_67_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_01_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_02_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_03_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_04_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_05_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_06_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_07_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_08_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_09_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_10_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_11_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_12_bad.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_12_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_13_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_14_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_15_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_16_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_17_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_18_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_21_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_22_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_31_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_32_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_34_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_41_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_42_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_44_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_45_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_51_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_52_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_53_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_54_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_61_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_63_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_64_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_65_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_66_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_67_good.yml
c/Juliet_Test/CWE190_Integer_Overflow__int_rand_square_68_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_02_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_03_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_04_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_05_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_06_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_07_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_08_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_09_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_10_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_11_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_13_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_14_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_15_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_21_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int64_t_rand_multiply_22_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_02_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_03_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_04_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_05_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_06_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_07_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_08_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_09_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_10_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_11_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_13_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_14_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_15_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_21_good.yml
c/Juliet_Test/CWE191_Integer_Underflow__int_rand_multiply_22_good.yml
c/goblint-regression/13-privatized_04-priv_multi_true.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound1.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound2.yml
c/nla-digbench-scaling/egcd-ll_unwindbound2.yml
c/nla-digbench-scaling/egcd-ll_valuebound100.yml
c/nla-digbench-scaling/egcd3-ll_valuebound1.yml
c/nla-digbench-scaling/ps2-ll_unwindbound10.yml
c/nla-digbench-scaling/ps2-ll_unwindbound100.yml
c/nla-digbench-scaling/ps3-ll_unwindbound10.yml
c/nla-digbench-scaling/ps3-ll_unwindbound100.yml
c/nla-digbench-scaling/ps3-ll_unwindbound20.yml
c/nla-digbench-scaling/ps3-ll_unwindbound50.yml
c/nla-digbench-scaling/ps4-ll_unwindbound5.yml
c/nla-digbench-scaling/ps5-ll_unwindbound5.yml
c/nla-digbench-scaling/ps6-ll_unwindbound2.yml
c/nla-digbench-scaling/ps6-ll_unwindbound5.yml
c/nla-digbench-scaling/sqrt1-ll_unwindbound2.yml
c/nla-digbench/egcd-ll.yml
c/pthread-C-DAC/pthread-demo-datarace-3.yml
c/pthread-divine/tls_destructor_worker.yml
c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml
c/seq-pthread/cs_lazy.yml
c/termination-crafted/NestedRecursion_2b.yml
c/termination-crafted/NestedRecursion_2c.yml
c/termination-restricted-15/Ex08.yml

unreach-call, 149 tasks

c/aws-c-common/aws_array_list_init_dynamic_harness_negated.yml
c/aws-c-common/aws_byte_cursor_read_be32_harness_negated.yml
c/aws-c-common/aws_byte_cursor_read_u8_harness_negated.yml
c/aws-c-common/aws_hash_iter_done_harness_negated.yml
c/aws-c-common/aws_hash_iter_next_harness_negated.yml
c/aws-c-common/aws_hash_table_get_entry_count_harness_negated.yml
c/bitvector/s3_clnt_2.BV.c.cil-1a.yml
c/bitvector/s3_clnt_3.BV.c.cil-1a.yml
c/combinations/gcd_4+newton_1_5.yml
c/ddv-machzwd/ddv_machzwd_all.yml
c/ddv-machzwd/ddv_machzwd_inw.yml
c/ddv-machzwd/ddv_machzwd_outb.yml
c/eca-rers2012/Problem03_label53.yml
c/eca-rers2012/Problem10_label41.yml
c/eca-rers2012/Problem10_label57.yml
c/eca-rers2012/Problem11_label29.yml
c/eca-rers2012/Problem11_label34.yml
c/eca-rers2012/Problem12_label10.yml
c/eca-rers2012/Problem12_label30.yml
c/eca-rers2012/Problem12_label38.yml
c/eca-rers2012/Problem12_label42.yml
c/eca-rers2012/Problem12_label55.yml
c/eca-rers2012/Problem14_label04.yml
c/eca-rers2012/Problem15_label07.yml
c/eca-rers2012/Problem15_label15.yml
c/eca-rers2012/Problem15_label43.yml
c/eca-rers2012/Problem16_label59.yml
c/eca-rers2012/Problem18_label52.yml
c/eca-rers2012/Problem18_label55.yml
c/hardness/hardness_codemodifications_functionizing_file-70.yml
c/hardness/hardness_codemodifications_functionizing_file-81.yml
c/hardness/hardness_codemodifications_normal_file-70.yml
c/hardness/hardness_codemodifications_steplocals_file-118.yml
c/hardness/hardness_codemodifications_steplocals_file-160.yml
c/hardness/hardness_fillercode_normal_file-107.yml
c/hardness/hardness_floats_has_floats_file-108.yml
c/hardness/hardness_floats_has_floats_file-113.yml
c/hardness/hardness_floats_has_floats_file-39.yml
c/hardness/hardness_floats_has_floats_file-56.yml
c/hardness/hardness_floats_has_floats_file-67.yml
c/hardness/hardness_floats_has_floats_file-86.yml
c/hardness/hardness_kloop_100_1loop_file-143.yml
c/hardness/hardness_kloop_25_1loop_file-13.yml
c/hardness/hardness_kloop_25_1loop_file-165.yml
c/hardness/hardness_kloop_25_1loop_file-174.yml
c/hardness/hardness_kloop_25_1loop_file-181.yml
c/hardness/hardness_kloop_25_while_file-12.yml
c/hardness/hardness_kloop_25_while_file-128.yml
c/hardness/hardness_kloop_25_while_file-133.yml
c/hardness/hardness_kloop_25_while_file-154.yml
c/hardness/hardness_kloop_25_while_file-48.yml
c/hardness/hardness_kloop_50_1loop_file-107.yml
c/hardness/hardness_kloop_50_1loop_file-109.yml
c/hardness/hardness_kloop_50_1loop_file-170.yml
c/hardness/hardness_kloop_50_1loop_file-176.yml
c/hardness/hardness_kloop_50_1loop_file-189.yml
c/hardness/hardness_kloop_50_1loop_file-194.yml
c/hardness/hardness_kloop_50_1loop_file-25.yml
c/hardness/hardness_kloop_50_1loop_file-32.yml
c/hardness/hardness_kloop_50_1loop_file-33.yml
c/hardness/hardness_kloop_50_1loop_file-35.yml
c/hardness/hardness_kloop_50_1loop_file-70.yml
c/hardness/hardness_kloop_50_1loop_file-83.yml
c/hardness/hardness_kloop_50_1loop_file-95.yml
c/hardness/hardness_kloop_50_1loop_file-98.yml
c/hardness/hardness_kloop_50_while_file-107.yml
c/hardness/hardness_kloop_50_while_file-45.yml
c/hardness/hardness_kloop_50_while_file-97.yml
c/hardness/hardness_operatoramount_amount10_file-131.yml
c/hardness/hardness_operatoramount_amount25_file-12.yml
c/hardness/hardness_operatoramount_amount25_file-128.yml
c/hardness/hardness_operatoramount_amount25_file-154.yml
c/hardness/hardness_operatoramount_amount25_file-48.yml
c/hardness/hardness_operatoramount_amount50_file-138.yml
c/hardness/hardness_operatoramount_amount50_file-160.yml
c/hardness/hardness_operatoramount_amount50_file-23.yml
c/hardness/hardness_wrappers_normal_file-138.yml
c/hardness/hardness_wrappers_normal_file-139.yml
c/hardness/hardness_wrappers_normal_file-15.yml
c/hardness/hardness_wrappers_normal_file-193.yml
c/hardness/hardness_wrappers_normal_file-46.yml
c/hardness/hardness_wrappers_normal_file-68.yml
c/hardness/hardness_wrappers_normal_file-69.yml
c/ldv-commit-tester/main1_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.yml
c/ldv-commit-tester/main1_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa.yml
c/ldv-consumption/32_7a_cilled_linux-3.8-rc1-32_7a-drivers--net--ethernet--realtek--atp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/list-simple/sll2n_append_unequal.yml
c/list-simple/sll2n_prepend_unequal.yml
c/loop-acceleration/diamond_1-1.yml
c/loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml
c/loop-industry-pattern/aiob_4.c.v+lh-reducer.yml
c/loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml
c/loops-crafted-1/sumt4.yml
c/loops-crafted-1/sumt5.yml
c/nla-digbench-scaling/bresenham-ll_unwindbound10.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound10.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound20.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound5.yml
c/nla-digbench-scaling/cohencu-ll_unwindbound50.yml
c/nla-digbench-scaling/dijkstra-u_unwindbound5.yml
c/nla-digbench-scaling/egcd3-ll_unwindbound10.yml
c/nla-digbench-scaling/geo1-ll_unwindbound1.yml
c/nla-digbench-scaling/hard-u_valuebound1.yml
c/nla-digbench-scaling/hard-u_valuebound2.yml
c/nla-digbench-scaling/lcm2_valuebound100.yml
c/nla-digbench-scaling/ps4-ll_unwindbound20.yml
c/nla-digbench-scaling/ps4-ll_unwindbound50.yml
c/nla-digbench-scaling/ps5-ll_unwindbound10.yml
c/nla-digbench-scaling/ps5-ll_unwindbound20.yml
c/nla-digbench-scaling/ps5-ll_unwindbound5.yml
c/nla-digbench-scaling/ps5-ll_unwindbound50.yml
c/nla-digbench-scaling/ps6-ll_unwindbound10.yml
c/nla-digbench-scaling/ps6-ll_unwindbound20.yml
c/nla-digbench-scaling/ps6-ll_unwindbound5.yml
c/nla-digbench-scaling/ps6-ll_unwindbound50.yml
c/product-lines/elevator_spec1_product24.cil.yml
c/product-lines/email_spec1_product12.cil.yml
c/product-lines/email_spec1_product28.cil.yml
c/product-lines/email_spec27_product13.cil.yml
c/product-lines/email_spec27_product17.cil.yml
c/product-lines/email_spec27_product23.cil.yml
c/product-lines/email_spec27_product25.cil.yml
c/product-lines/email_spec27_product27.cil.yml
c/product-lines/email_spec27_product29.cil.yml
c/product-lines/email_spec27_product32.cil.yml
c/product-lines/email_spec27_product34.cil.yml
c/product-lines/email_spec27_product35.cil.yml
c/product-lines/email_spec4_product13.cil.yml
c/product-lines/email_spec4_product17.cil.yml
c/product-lines/email_spec4_product28.cil.yml
c/product-lines/email_spec4_product29.cil.yml
c/product-lines/email_spec6_product12.cil.yml
c/product-lines/email_spec6_product30.cil.yml
c/product-lines/email_spec8_product12.cil.yml
c/product-lines/email_spec8_product28.cil.yml
c/product-lines/email_spec9_product12.cil.yml
c/product-lines/email_spec9_product28.cil.yml
c/pthread-C-DAC/pthread-demo-datarace-3.yml
c/pthread-divine/tls_destructor_worker.yml
c/pthread/fib_unsafe-10.yml
c/recursified_nla-digbench/recursified_geo1-u.yml
c/seq-mthreaded-reduced/pals_floodmax.3.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.yml
c/seq-mthreaded-reduced/pals_lcr-var-start-time.3.1.ufo.UNBOUNDED.pals.c.v+sep-reducer.yml
c/seq-mthreaded-reduced/pals_lcr.3.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.yml
c/seq-mthreaded-reduced/pals_lcr.3.1.ufo.BOUNDED-6.pals.c.v+sep-reducer.yml
c/seq-mthreaded/pals_opt-floodmax.3.2.ufo.UNBOUNDED.pals.yml
c/systemc/pipeline.cil-1.yml
c/xcsp/Haystacks-09.yml

termination, 96 tasks

c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml
c/ldv-memsafety/memset2.yml
c/product-lines/email_spec0_product05.cil.yml
c/product-lines/email_spec0_product09.cil.yml
c/product-lines/email_spec0_product10.cil.yml
c/product-lines/email_spec0_product11.cil.yml
c/product-lines/email_spec0_product16.cil.yml
c/product-lines/email_spec0_product19.cil.yml
c/product-lines/email_spec0_product21.cil.yml
c/product-lines/email_spec0_product22.cil.yml
c/product-lines/email_spec0_product24.cil.yml
c/product-lines/email_spec0_product25.cil.yml
c/product-lines/email_spec0_product36.cil.yml
c/product-lines/email_spec0_product37.cil.yml
c/product-lines/email_spec0_product38.cil.yml
c/product-lines/email_spec0_product40.cil.yml
c/product-lines/email_spec11_product03.cil.yml
c/product-lines/email_spec11_product07.cil.yml
c/product-lines/email_spec11_product08.cil.yml
c/product-lines/email_spec11_product10.cil.yml
c/product-lines/email_spec11_product15.cil.yml
c/product-lines/email_spec11_product18.cil.yml
c/product-lines/email_spec11_product22.cil.yml
c/product-lines/email_spec11_product23.cil.yml
c/product-lines/email_spec11_product36.cil.yml
c/product-lines/email_spec11_product37.cil.yml
c/product-lines/email_spec11_product39.cil.yml
c/product-lines/email_spec11_product40.cil.yml
c/product-lines/email_spec1_product12.cil.yml
c/product-lines/email_spec1_product14.cil.yml
c/product-lines/email_spec1_product15.cil.yml
c/product-lines/email_spec1_product16.cil.yml
c/product-lines/email_spec1_product20.cil.yml
c/product-lines/email_spec1_product21.cil.yml
c/product-lines/email_spec1_product22.cil.yml
c/product-lines/email_spec1_product28.cil.yml
c/product-lines/email_spec1_product29.cil.yml
c/product-lines/email_spec27_product13.cil.yml
c/product-lines/email_spec27_product17.cil.yml
c/product-lines/email_spec27_product18.cil.yml
c/product-lines/email_spec27_product19.cil.yml
c/product-lines/email_spec27_product28.cil.yml
c/product-lines/email_spec3_product13.cil.yml
c/product-lines/email_spec3_product17.cil.yml
c/product-lines/email_spec3_product18.cil.yml
c/product-lines/email_spec3_product19.cil.yml
c/product-lines/email_spec3_product23.cil.yml
c/product-lines/email_spec3_product24.cil.yml
c/product-lines/email_spec3_product25.cil.yml
c/product-lines/email_spec3_product28.cil.yml
c/product-lines/email_spec3_product29.cil.yml
c/product-lines/email_spec3_product30.cil.yml
c/product-lines/email_spec3_product31.cil.yml
c/product-lines/email_spec3_product33.cil.yml
c/product-lines/email_spec4_product13.cil.yml
c/product-lines/email_spec4_product17.cil.yml
c/product-lines/email_spec4_product18.cil.yml
c/product-lines/email_spec4_product19.cil.yml
c/product-lines/email_spec4_product28.cil.yml
c/product-lines/email_spec6_product12.cil.yml
c/product-lines/email_spec6_product14.cil.yml
c/product-lines/email_spec6_product15.cil.yml
c/product-lines/email_spec6_product16.cil.yml
c/product-lines/email_spec6_product22.cil.yml
c/product-lines/email_spec6_product28.cil.yml
c/product-lines/email_spec7_product13.cil.yml
c/product-lines/email_spec7_product17.cil.yml
c/product-lines/email_spec7_product18.cil.yml
c/product-lines/email_spec7_product19.cil.yml
c/product-lines/email_spec7_product23.cil.yml
c/product-lines/email_spec7_product24.cil.yml
c/product-lines/email_spec7_product28.cil.yml
c/product-lines/email_spec7_product29.cil.yml
c/product-lines/email_spec8_product12.cil.yml
c/product-lines/email_spec8_product14.cil.yml
c/product-lines/email_spec8_product15.cil.yml
c/product-lines/email_spec8_product16.cil.yml
c/product-lines/email_spec8_product22.cil.yml
c/product-lines/email_spec8_product28.cil.yml
c/product-lines/email_spec9_product12.cil.yml
c/product-lines/email_spec9_product14.cil.yml
c/product-lines/email_spec9_product15.cil.yml
c/product-lines/email_spec9_product16.cil.yml
c/product-lines/email_spec9_product28.cil.yml
c/product-lines/email_spec9_product29.cil.yml

no-data-race, 10 tasks

c/goblint-regression/04-mutex_18-glob_guards.yml
c/goblint-regression/04-mutex_42-trylock_2mutex.yml
c/goblint-regression/09-regions_02-list_nr.yml
c/goblint-regression/09-regions_04-list2_nr.yml
c/goblint-regression/09-regions_06-ptra_nr.yml
c/goblint-regression/13-privatized_04-priv_multi_true.yml
c/pthread-C-DAC/pthread-demo-datarace-3.yml
c/pthread-ext/41_FreeBSD_abd_kbd_sliced.yml
c/pthread-race-challenges/thread-join-counter-outer.yml
c/weaver/loop-tiling-eq.wvr.yml

valid-memcleanup, 3 tasks

c/Juliet_Test/CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_45_bad.yml
c/heap-manipulation/tree-4.yml
c/memsafety-bftpd/bftpd_2.yml

[leventeBajczi]

Status update: three causes found by bisection, each with a PR against master, plus two entries in the list that turn out not to be regressions.

Fixed

PR	cause	regressed tasks in the family
#567	string literal initialization emitted per character even when nothing reads it (and strcpy never copied its terminator)	Juliet_Test 803
#568	UnrollPass refused a loop whose counter is initialized on the same edge as another variable	nla-digbench-scaling 32
#569	simplify wrapped a call argument in Pos when carrying its C type over, leaving an InvokeLabel the monolithic backends refuse	ldv-memsafety, product-lines, others

Sampling the fastest regressed task per family against a tree with all three merged: Juliet_Test, nla-digbench-scaling, product-lines, goblint-regression, ldv-memsafety and pthread-C-DAC all return to a correct verdict in seconds.

Two of the three were introduced by commits in this branch's own history (4724647fe7 for the first, mine 33f30ce952 for the third).

Not regressions

hardness (54 tasks) and ldv-linux-3.4-simple (13 tasks) fail identically at run 102's own commit (12ff1ce508) when run locally -- ExpressionVisitor.visitPrimaryExpressionId and No such method parport_find_base respectively. Both scored correct on the cluster in run 102, so the difference is the sv-benchmarks checkout, not this branch. They should be excluded from the regression count.

Known limitation, not planned

pthread-divine/tls_destructor_worker (3 rows, one task under three properties):

Feature not supported by OC checker: pthread_key_create with non-null destructor

Bisected to 29300a3, which made LibraryStubsPass respect isLibraryFunction so thread-key calls reach the checker that models them instead of being flattened. The OC checker then refuses a non-null destructor, and the portfolio falls through to configs that time out. The previous behaviour scored correct only because the calls were silently stubbed away. no-data-race still solves; the other three properties time out. Modelling a TLS destructor properly is a feature, not a fix.

Still open

eca-rers2012 (17), aws-c-common (6), weaver (4), seq-mthreaded-reduced (4), list-simple (4) and a tail of 2-3 task families. Several of these took longer in run 102 than a local budget can reproduce, so they need the cluster to judge.

Verification

Theta-svcomp-111 (8.0.1 with all three fixes) is submitted on sosy against the regressed task-sets at a 2 min budget, but has been queued for 3.5 hours without a run being scheduled -- the submission was accepted ("Waiting for 23791 run results"), so this is cluster capacity. The recovery numbers above are from local sampling until that run produces results.

[leventeBajczi]

Status update: a fourth cause, and the measured recovery from the first three.

Fourth cause — global loop counter (added to #568)

pthread-deagle/reorder_c11_* (10 tasks) fail the frontend outright:

Frontend failed! Unsupported library parameter: non-constant dereference offset ((bvpos i))

They create threads with pthread_create(&setPool[i], …) over a file-scope int i.
CLibraryFunctionsPass keys each handle on a constant element index, so the counter has to be
substituted into the unrolled copies. A guard introduced after 7.3.0 refused substitution for
every global:

substituteLoopVar && builder.parent.getVars().none { it.wrappedVar == loopVar }

At 7.3.0 the line read substituteLoopVar = substituteLoopVar. Removing the guard makes the
frontend succeed, which confirms it as the cause.

The guard's reasoning is valid — a concurrent thread writing the global would make a value baked
into a copy wrong, hiding a race — so #568 refines it instead of dropping it: substitute only when
the loop sits in an init procedure (which runs once) and no other procedure writes the counter.
Verdicts are correct, not merely unblocked: reorder_c11_bad-10 and good-50 both return false,
both expecting false.

Guarded by a fixture (pthread_array_handle_global_index.c) and three unit tests, one per clause;
each was verified to fail against the corresponding mutation of the guard.

Recovery measured for the first three causes

Targeted run on the same CPU model, 2-minute budget (Theta 8.0.1 = #567 + #568 + #569):

	recovered	no verdict
tasks 7.3.0 solved in ≤110 s	419 (66 %)	219
tasks 7.3.0 needed >110 s for	16	281

0 wrong and 0 errors across all 935 regressed tasks measured. The second row is not a result —
those tasks needed more than the budget in 7.3.0 itself (median 128 s, up to 892 s), so a 2-minute
run cannot judge them.

The 37 no-overflow false alarms are fixed: 35 correct, 2 timeouts, none wrong. The cause was
#569 — these tasks guard with imaxabs(data) <= sqrtl(INT64_MAX), and wrapping the call argument in
Pos broke the library-call lowering, so the guard stopped constraining anything. Across the 5 888
tasks that run judged there are now zero wrong verdicts (7.3.0 had 72, 8.0.0 had 102).

The 219 unrecovered are all timeouts, no errors and no wrong answers — a slowdown (they solved in
~29 s median before), not a correctness problem.

Still open

• 8 OUT OF MEMORY and 3 solver errors, plus frontend failures in busybox-1.22.0 (3),
  ldv-linux-3.4-simple (13) and ldv-linux-3.0 (1). These do not reproduce locally — the
  local sv-benchmarks checkout differs from the cluster's — so they need cluster evidence.
• 4 pthread-wmm weaver tasks from e134faefe1: isDataRacePossible returned false at the
  parent commit, so 7.3.0's fast Safe was an unsound shortcut. Won't fix.

A full 900 s run over all tasks is in flight; it will settle the slowdown class and the items above.

[leventeBajczi]

Full 900 s run with all four fixes — the regression is essentially closed

Run 112: COMPLEX27, 900 s / 15 GB / 2 cores, pinned to the same Intel Xeon E3-1230 v5, Theta
8.0.1 + #567 + #568 + #569 (the latter now carrying both unroll fixes). All five rundefinitions
finalized.

Over the 35 501 task/property pairs all three runs share:

run	score	correct	wrong
102 — 7.3.0	21 474	14 165	64
110 — 8.0.0	19 198	13 305	101
112 — 8.0.1 + fixes	21 334	14 190	68

• Score gap against 7.3.0 is −140, down from −2 276 — 94 % of the regression recovered.
• 25 more correct results than 7.3.0, and 885 more than 8.0.0.
• Of the 1 154 tasks 8.0.0 lost: 926 recovered, 215 still TIMEOUT, 10 OOM, 2 ERROR, 1 unknown.
• Zero correct → wrong against the 7.3.0 baseline.

The 275 correct → no verdict and 300 not correct → correct land in the same families in both
directions (eca-rers2012 19/85, hardness 60/41, Juliet 112/28, aws-c-common 5/18) — symmetric
resource-boundary churn, not a one-directional regression.

What the remaining −140 actually is

Correct results went up, so the gap is wrong-verdict penalties. Twelve tasks are wrong in 112
and were not wrong in 102 — and in 7.3.0 none of them produced a verdict at all (ERROR, TIMEOUT
or unknown). Eight were already wrong at 8.0.0, so the four fixes did not cause them. Four are
new to this run, all going from no answer to a wrong one:

task	8.0.0	8.0.1 + fixes	cost
goblint-regression/09-regions_09-arraylist-deref [valid-memsafety]	unknown	true (missed bug)	−32
aws-c-common/sliced_aws_array_eq_harness [unreach-call]	solver error	false	−16
busybox-1.22.0/dirname-1 [valid-memsafety]	TIMEOUT	false(valid-deref)	−16
pthread-complex/elimination_backoff_stack [valid-memsafety]	TIMEOUT	false(valid-deref)	−16

The goblint-regression one is the serious entry: a missed memory-safety bug, not a false alarm.
The other three are false alarms on tasks that previously timed out.

Eight verdicts that were wrong in 7.3.0 are now correct, which partly offsets the above.

Remaining

Keeping this open for the four new wrong verdicts above — they are not losses against 7.3.0
(which never answered them) but they are new incorrect answers in the 8.x line, and the missed bug
deserves its own investigation. Everything from the original report — the 1 098 correct → timeout
and the 37 correct → wrong — is resolved.

Also still open, and not reproducible locally (the local sv-benchmarks checkout differs from the
cluster's): the OOM and frontend-failure tail. Worth noting that both error classes are net better
in the 8.x line than in 7.3.0 — solver errors 300 → 219, frontend failures 2036 → 1888 — so those
are churn rather than a regression class.

[leventeBajczi]

The missed bug from the table above — goblint-regression/09-regions_09-arraylist-deref — is now
tracked separately as #570: the OC backend reports Safe on a reachable NULL dereference whenever the
alias graph is non-empty. It reduces to a 25-line reproducer, and CEGAR gets the same program right,
so it is an OC-specific soundness bug rather than anything from the four fixes here.

It is also not a regression against 7.3.0, which returned unknown for that task.

[leventeBajczi]

Chased the two remaining false(valid-deref) entries from the table above and they are instances of
a single pre-existing bug, now filed as #571: a mid-object pointer loses its offset across a
non-inlined call, so the callee'''s dereference checks fire spuriously.

It is the largest wrong-verdict family in run 112 — 31 of the 68 wrong verdicts, −496 score —
and it is not a regression: the affected tasks were TIMEOUT or ERROR at 7.3.0.

That accounts for the remaining items here. Summary of where the original report stands:

item	status
1098 correct → timeout	926 recovered; rest are budget churn
37 correct → wrong (no-overflow)	all fixed by #569
missed bug (goblint-regression)	#570, OC backend
false(valid-deref) false alarms	#571, mid-object pointer across a call

With both soundness families tracked separately, this issue has nothing left that is specific to the
7.3.0 → 8.0.0 regression.