Securing Opensource Code via Static Analysis.

Raghudeep Kannavara

Published in: ICST (2012)

Keyphrases

static analysis
source code
malicious code
dynamic analysis
symbolic execution
java card
abstract interpretation
regular expressions
database
information security
test suite
test generation
error rate
pattern matching