基于动态符号执行的二进制程序缺陷发现系统
기우동태부호집행적이진제정서결함발현계통
Dynamic symbolic execution based defect detection system for binary programs
저자의 최근 논문