File Parsing Vulnerability Detection with Symbolic Execution. - Hu, Chaojian; Li, Zhoujun; Ma, Jinxin; Guo, Tao; Shi, Zhiwei (2012)