Virual Oral Presentation Slide by Slide

IEEE/ICACT20260385 Slide.06        [Big Slide]	Oral Presentation
	When choosing an analysis method, we face a fundamental trade-off between dynamic and static approaches. Dynamic analysis offers high precision by observing the program during execution, but it suffers from significant performance overhead and can only analyze the specific paths that are actually run. In contrast, static analysis provides full code coverage and allows for the early detection of bugs before the code ever executes. However, this method faces the challenges of false positives and the difficulty of accurately modeling complex memory behaviors, which is exactly why tools like IKOS are so critical to evaluate.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!