Static Analysis of String Manipulations in Critical Embedded C Programs.

Xavier Allamigeon Wenceslas Godard Charles Hymans Static Analysis of String Manipulations in Critical Embedded C Programs. 35-51 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_4 db/conf/sas/sas2006.html#AllamigeonGH06