Practical static analysis for inference of security-related program properties.

Yin Liu Ana Milanova

Published in: ICPC (2009)

Keyphrases

static analysis
java card
dynamic analysis
symbolic execution
source code
malicious code
real world
access control
test suite
abstract interpretation
security policies
test generation
open source
api calls
security requirements
information security
security analysis
security model
query processing
data sets