Skip to content
GitLab
Explore
Sign in
pub
sate-6
Repository
sate-6
oracles
CWE190_Integer_Overflow
s01
CWE190_Integer_Overflow__char_fscanf_...
Find file
Blame
History
Permalink
update oracles for Frama-C 21.0 Scandium
· 2c681dd0
Andre Maroneze
authored
May 27, 2020
2c681dd0