Commit 2c681dd0 authored by Andre Maroneze's avatar Andre Maroneze 💬

update oracles for Frama-C 21.0 Scandium

parent 5a2aa423

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_01.c CWE190_Integer_Overflow__char_fscanf_add_01_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_01.c CWE190_Integer_Overflow__char_fscanf_add_01_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_02.c CWE190_Integer_Overflow__char_fscanf_add_02_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_02.c CWE190_Integer_Overflow__char_fscanf_add_02_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_03.c CWE190_Integer_Overflow__char_fscanf_add_03_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_03.c CWE190_Integer_Overflow__char_fscanf_add_03_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_04.c CWE190_Integer_Overflow__char_fscanf_add_04_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_04.c CWE190_Integer_Overflow__char_fscanf_add_04_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_05.c CWE190_Integer_Overflow__char_fscanf_add_05_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_05.c CWE190_Integer_Overflow__char_fscanf_add_05_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_06.c CWE190_Integer_Overflow__char_fscanf_add_06_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_06.c CWE190_Integer_Overflow__char_fscanf_add_06_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_07.c CWE190_Integer_Overflow__char_fscanf_add_07_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_07.c CWE190_Integer_Overflow__char_fscanf_add_07_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_08.c CWE190_Integer_Overflow__char_fscanf_add_08_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_08.c CWE190_Integer_Overflow__char_fscanf_add_08_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_09.c CWE190_Integer_Overflow__char_fscanf_add_09_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_09.c CWE190_Integer_Overflow__char_fscanf_add_09_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_10.c CWE190_Integer_Overflow__char_fscanf_add_10_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_10.c CWE190_Integer_Overflow__char_fscanf_add_10_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_11.c CWE190_Integer_Overflow__char_fscanf_add_11_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_11.c CWE190_Integer_Overflow__char_fscanf_add_11_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_12.c CWE190_Integer_Overflow__char_fscanf_add_12_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_12.c CWE190_Integer_Overflow__char_fscanf_add_12_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_13.c CWE190_Integer_Overflow__char_fscanf_add_13_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_13.c CWE190_Integer_Overflow__char_fscanf_add_13_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_14.c CWE190_Integer_Overflow__char_fscanf_add_14_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_14.c CWE190_Integer_Overflow__char_fscanf_add_14_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_15.c CWE190_Integer_Overflow__char_fscanf_add_15_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_15.c CWE190_Integer_Overflow__char_fscanf_add_15_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_16.c CWE190_Integer_Overflow__char_fscanf_add_16_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_16.c CWE190_Integer_Overflow__char_fscanf_add_16_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_17.c CWE190_Integer_Overflow__char_fscanf_add_17_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_17.c CWE190_Integer_Overflow__char_fscanf_add_17_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_18.c CWE190_Integer_Overflow__char_fscanf_add_18_bad signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_18.c CWE190_Integer_Overflow__char_fscanf_add_18_bad signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_21.c badSink signed_downcast Unknown (int)data + 1 ≤ 127
. CWE190_Integer_Overflow__char_fscanf_add_21.c badSink signed_downcast Unknown (int)((int)data + 1) ≤ 127
directory file function property kind status property
. CWE190_Integer_Overflow__char_fscanf_add_22b.c CWE190_Integer_Overflow__char_fscanf_add_22_badSink si