IEEE/ICACT20260382 Slide.19
[Big Slide]
Oral Presentation .jpg)
| Virual Oral Presentation Slide by Slide |
|
IEEE/ICACT20260382 Slide.19
[Big Slide]
| Oral Presentation |
|
|
|
So, in this work, we have introduced several methods for enhancing symbolic execution to support fully automatic control-flow path feasibility analysis. By developing automatic symbolization techniques for variables with unknown values, function arguments, return values, and pointer-referenced memories, we have developed a control flow path verification algorithm. | |
| [Go to Next Slide] |