Modular Static Analysis of String Manipulations in C Programs.

Matthieu Journault Antoine Miné Abdelraouf Ouadjaout

Published in: SAS (2018)

Keyphrases

static analysis
symbolic execution
regular expressions
dynamic analysis
abstract interpretation
source code
malicious code
test generation
pattern matching
java card
edit distance
string matching
knowledge base
data structure
api calls
xml schema
case study