Modular Static Analysis of String Manipulations in C Programs.

Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout

Browse the full SAS paper archive.