Static Analysis of String Manipulations in Critical Embedded C Programs. - Xavier Allamigeon; Wenceslas Godard; Charles Hymans (SAS, 2006)