Static analysis by abstract interpretation: application to the detection of heap overflows.

Xavier Allamigeon Charles Hymans Static analysis by abstract interpretation: application to the detection of heap overflows. 5-23 2008 4 Journal in Computer Virology 1 http://dx.doi.org/10.1007/s11416-007-0063-z db/journals/virology/virology4.html#AllamigeonH08