IEEE/ICACT20210212 Slide.17        [Big Slide]       Oral Presentation
We also performed static analysis for false-positive example that CWE-190: Integer Overflow test case. The left figure is the code of lines 46 to 53 of the CWE190_Integer_Overflow__char_max_square_65a.c file. This code calls the function of the right figure with parameter 2. The right figure is the code of lines 38 to 45 of the CWE190_Integer_Overflow__char_max_square_65b.c file. The developer wrote the code of the two files, and the result will be 4.

[Go to Next Slide]
Select Voice: