Publications Modular static analysis of string manipulations in C programs Modular static analysis of string manipulations in C programs Matthieu Journault Antoine Miné Abdelraouf Ouadjaout PDF DOI