Static Analysis of String Encoders and Decoders.
Loris D'AntoniMargus VeanesPublished in: VMCAI (2013)
Keyphrases
- static analysis
- regular expressions
- dynamic analysis
- pattern matching
- source code
- symbolic execution
- malicious code
- java card
- data structure
- test generation
- query language
- string matching
- edit distance
- test suite
- video compression
- xml schema
- abstract interpretation
- context free grammars
- decoding algorithm
- suffix tree
- network traffic
- open source
- database
- video encoder
- xml documents
- databases