Skip to content

Draft: Add subproperties for Juliet MemSafety tasks in 1101/1390 cases based on the...

Daniel Baier requested to merge fix-juliet-memsafety-categories into main

The goal of this MR is to fix the missing subproperties of the Juliet tasks in the MemSafety category as far as possible. (Addressing issue #1285 )

I've checked the results of SV-COMP23 and added the subproperties for all tasks that had a unanimous reported subproperty, or at max 1 verifier reported a different subproperty. But i also checked that the subproperties match the filenames, in which failure reasons are reported. I did not add any subproperties for tasks in which the subproperty did not match the filename.

Doing this, i managed to get the subproperties for 1101 of 1390 tasks.

Details on the tasks where i did not add a subproperty that need discussion and/or further analysis:

For 10 tasks i did not add a subproperty despite all verifiers agreeing on a single subproperty as the filename suggested a different subproperty. For 73 tasks the subproperties reported by the verifiers were split between 2 subproperties, but they had more than 1 outlier. For 206 tasks the subproperties were split in 2, but only 1 verifier reported an outlier, but the filename also disagrees with the verdict of the majority.

Tasks where all verifiers agree on the subproperty but the filename suggests another:

Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref
Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_calloc_12_bad.yml has Memory_Leak in its name but all verifiers report: valid-free
Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_12_bad.yml has Memory_Leak in its name but all verifiers report: valid-free
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_calloc_12_bad.yml has Memory_Leak in its name but all verifiers report: valid-free
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_calloc_12_bad.yml has Memory_Leak in its name but all verifiers report: valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_12_bad.yml has Double_Free in its name but all verifiers report: valid-deref

Details on the 73 tasks where the subproperties reported by the verifiers were split between 2 subproperties, but they had more than 1 outlier:

Task with 2 verdicts and low confidence:  CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_char_12_bad.yml   Verdict 1 (valid-free):  4 times, Verdict 2 (valid-memtrack):  5 times
Task with 2 verdicts and low confidence:  CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int64_t_12_bad.yml   Verdict 1 (valid-free):  3 times, Verdict 2 (valid-memtrack):  5 times
Task with 2 verdicts and low confidence:  CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_int_12_bad.yml   Verdict 1 (valid-free):  4 times, Verdict 2 (valid-memtrack):  5 times
Task with 2 verdicts and low confidence:  CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_long_12_bad.yml   Verdict 1 (valid-free):  3 times, Verdict 2 (valid-memtrack):  5 times
Task with 2 verdicts and low confidence:  CWE415_Double_Free---s01---CWE415_Double_Free__malloc_free_struct_12_bad.yml   Verdict 1 (valid-free):  3 times, Verdict 2 (valid-memtrack):  5 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_01_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_02_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_03_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_04_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_05_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_06_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_07_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_08_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_09_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_10_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_11_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_12_bad.yml   Verdict 1 (valid-deref):  4 times, Verdict 2 (valid-free):  5 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_13_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_14_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_15_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_16_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_17_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_18_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_31_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_32_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_34_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_41_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_44_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_45_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_51_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_52_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_53_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_54_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_63_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_64_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_65_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_66_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_67_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_declare_68_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_01_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_02_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_03_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_04_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_05_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_06_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_07_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_08_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_09_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_10_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_11_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_12_bad.yml   Verdict 1 (valid-deref):  4 times, Verdict 2 (valid-free):  5 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_13_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_14_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_15_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_16_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_17_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_18_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_31_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_32_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_34_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_41_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_44_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_45_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_51_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_52_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_53_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_54_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_63_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_64_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_65_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_66_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_67_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times
Task with 2 verdicts and low confidence:  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_struct_static_68_bad.yml   Verdict 1 (valid-deref):  3 times, Verdict 2 (valid-free):  6 times

Details on the 206 tasks with exactly 1 outlier verifier result and filename disagreeing with the verdict of the majority of the verifiers:

Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_malloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int64_t_realloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_realloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_malloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__struct_twoIntsStruct_realloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_malloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE401_Memory_Leak---s03---CWE401_Memory_Leak__twoIntsStruct_realloc_12_bad.yml has Memory_Leak in its name but all verifiers but one report: valid-free the outlier reported:  valid-memtrack
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_declare_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int64_t_static_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_declare_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_int_static_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s04---CWE590_Free_Memory_Not_on_Heap__free_long_declare_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_01_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_02_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_03_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_04_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_05_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_06_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_07_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_08_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_09_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_10_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_11_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_13_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_14_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_15_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_16_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_17_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_18_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_31_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_32_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_34_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_41_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_44_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_45_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_51_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_52_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_53_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_54_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_63_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_64_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_65_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_66_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_67_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free
Task  CWE590_Free_Memory_Not_on_Heap---s05---CWE590_Free_Memory_Not_on_Heap__free_long_static_68_bad.yml has Free_Memory_Not_on_Heap in its name but all verifiers but one report: valid-deref the outlier reported:  valid-free

Merge request reports