Static Analysis of String Manipulations in Critical Embedded C Programs.

Xavier Allamigeon, Wenceslas Godard, Charles Hymans

Browse the full SAS paper archive.