Security, malicious code
Software exploits are one of the major threats to internet security. To quickly respond to these attacks, it is critical to automatically diagnose such exploits and find out how they circumvent existing defense mechanisms.
Zhang, Mingwei; Prakash, Aravind; Li, Xiaolei; Liang, Zhenkai; and Yin, Heng, "Identifying and analyzing pointer misuses for sophisticated memory-corruption exploit diagnosis" (2012). Electrical Engineering and Computer Science Technical Reports. Paper 26.