Shikun Chen Zhoujun Li Simplifying Buffer Overflow Detection Using Site-Safe Expressions. 977-982 2009 ACIS-ICIS http://dx.doi.org/10.1109/ICIS.2009.158 conf/ACISicis/2009 db/conf/ACISicis/ACISicis2009.html#ChenL09