A Fast Static Analysis Approach to Detect Exploit Code Inside Network Flows.
Ramkumar ChinchaniEric van den BergPublished in: RAID (2005)
Keyphrases
- static analysis
- network flow
- source code
- malicious code
- dynamic analysis
- java card
- symbolic execution
- regular expressions
- minimum cost
- abstract interpretation
- linear programming
- integer programming
- open source
- test generation
- optimization model
- min cost
- test suite
- real world
- bipartite graph
- pattern matching
- evolutionary algorithm