| Virual Oral Presentation Slide by Slide |
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] |