Static Analysis of String Manipulations in Critical Embedded C Programs Xavier Allamigeon, Wenceslas Godard, and Charles Hymans EADS CCR DCR STI C 12, rue Pasteur – BP 76 – 92152 Suresnes – France firstname.lastnam - Decision rule - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-07-23 08:30:58		Static Analysis of String Manipulations in Critical Embedded C Programs Xavier Allamigeon, Wenceslas Godard, and Charles Hymans EADS CCR DCR/STI/C 12, rue Pasteur – BP 76 – 92152 Suresnes – France firstname.lastnam Add to Reading List Source URL: newspeak.bitbucket.org Download Document from Source Website File Size: 215,87 KB Share Document on Facebook