The Automated Weak Code Detection Tool for the Symbolic Execution-Based Vulnerability Analysis

Sang-Kil Park, Sung-Hwan Bae, Jae-Pyo Park and Yong-Joon Lee

Journal of Engineering and Applied Sciences 13 ( 2 SI ): 2858 - 2866 , 2018