Virual Oral Presentation Slide by Slide

IEEE/ICACT20260385 Slide.14        [Big Slide]	Oral Presentation
	To rigorously test IKOS, we used the Juliet Test Suite version 1.3, a massive industry-standard benchmark. We specifically isolated over 1,400 test cases targeting CWE-415 (Double-free) and CWE-416 (Use-after-free). What makes our methodology unique is our strict evaluation criteria: we only counted explicit Errors as True Positives. Any Warnings—where the tool is unsure—were excluded.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!