| Virual Oral Presentation Slide by Slide |
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] |