diff --git a/test/bug-hunting/juliet.py b/test/bug-hunting/juliet.py index 67e371524..b0a7a0d2c 100644 --- a/test/bug-hunting/juliet.py +++ b/test/bug-hunting/juliet.py @@ -72,6 +72,6 @@ def check(tc:str, warning_id:str): 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')