IEEE/ICACT20260382 Slide.14        [Big Slide]       Oral Presentation
To evaluate our method, we integrated it into Memory Leak Hunter, a static analyzer designed for memory leak detection. Path feasibility analysis provides path sensitivity for Memory Leak Hunter.

[Go to Next Slide]
Select Voice: