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