IEEE/ICACT20260385 Slide.17        [Big Slide]       Oral Presentation
To examine the performance of IKOS on real-world vulnerabilities, we collected CVEs from www.cve.org website for each memory error type. To ensure fair evaluation, we searched for CVEs using the respective keywords "use after free" and "double free", sorted the results by date, and sequentially selected the most recent CVEs.

[Go to Next Slide]
Select Voice: