IEEE/ICACT20260382 Slide.02        [Big Slide]       Oral Presentation
Often, static analyzers report issues without performing path sensitive analysis. For example, a tool might flag a NULL dereference on line 8, but in reality, that path is logically impossible—making it a false positive. This highlights why path feasibility analysis is so critical: it allows us to filter out these non-existent issues and focus only on real bugs.

[Go to Next Slide]
Select Voice: