School of Information Security Eng.,Shanghai Jiaotong Univ.,Shanghai 200030,China;
Dept.of Computer Science and Eng.,Shanghai Jiaotong Univ.,Shanghai 200030,China;
Dept.of Computer Science and Eng.,Shanghai Jiaotong Univ.,Shanghai 200030,China;
binary code; buffer overflow; integer range constraint; feature abstract graph;