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. In Kwangkeun Yi, editor, Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Volume 4134 of Lecture Notes in Computer Science, pages 35-51, Springer, 2006. [doi]

Authors

Xavier Allamigeon

This author has not been identified. Look up 'Xavier Allamigeon' in Google

Wenceslas Godard

This author has not been identified. Look up 'Wenceslas Godard' in Google

Charles Hymans

This author has not been identified. Look up 'Charles Hymans' in Google