IEEE/ICACT20260385 Slide.07        [Big Slide]       Oral Presentation
IKOS is a static analyzer that accepts C/C++ source code as input and produces detailed reports on identified bugs as its output.

[Go to Next Slide]
Select Voice: