IEEE/ICACT20210212 Slide.01
[Big Slide]
Oral Presentation 
| Virual Oral Presentation Slide by Slide |
|
IEEE/ICACT20210212 Slide.01
[Big Slide]
| Oral Presentation |
|
|
|
Hello, I am HongJun Choi, a master's course in the School of Cybersecurity, Korea University. My current research interests are in static analysis, secure software engineering, formal methods. My presentation topic is 'Is a False Positive really False Positive?.' To solve the problem of determining whether alarms generated by static analysis tools are a true positive or false, I analyze and explain integer overflow by dividing it into 4 cases in terms of reliability and security. | |
| [Go to Next Slide] |