File Parsing Vulnerability Detection with Symbolic Execution.

Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi

Browse the full TASE paper archive.