walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Bug hunting; fix juliet test cases error id

This commit is contained in:
Daniel Marjamäki 2020-06-28 08:16:46 +02:00
parent bcaf792e30
commit e1704f2b50
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/bug-hunting/juliet.py
View File

@ -72,6 +72,6 @@ def check(tc:str, warning_id:str):
check('C/testcases/CWE369_Divide_by_Zero/s*/*.c', 'bughuntingDivByZero') check('C/testcases/CWE369_Divide_by_Zero/s*/*.c', 'bughuntingDivByZero')
#check('C/testcases/CWE457_Use_of_Uninitialized_Variable/s*/*.c', 'verificationUninit') #check('C/testcases/CWE457_Use_of_Uninitialized_Variable/s*/*.c', 'bughuntingUninit')