Program Vulnerability Mining System based on Symbolic Execution

Bailin Xie, Qi Li, Jiabin Luo. Program Vulnerability Mining System based on Symbolic Execution. In ICIIT 2022: 7th International Conference on Intelligent Information Technology, Foshan, China, February 25 - 27, 2022. pages 83-89, ACM, 2022. [doi]