Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi: File Parsing Vulnerability Detection with Symbolic Execution. TASE 2012: 135-142