Login / Signup
Static Analysis of Executables to Detect Malicious Patterns.
Mihai Christodorescu
Somesh Jha
Published in:
USENIX Security Symposium (2003)
Keyphrases
</>
static analysis
detect malicious
source code
dynamic analysis
symbolic execution
abstract interpretation
regular expressions
java card
test suite
case study
concurrency control
distributed databases
data processing
data mining techniques
open source
api calls
data warehouse