Extending the enforcement power of truncation monitors using static analysis.

Hugues Chabot Raphaël Khoury Nadia Tawbi

Published in: Comput. Secur. (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
power consumption
regular expressions
test suite
abstract interpretation
access control
test generation
artificial intelligence
semi automatic
domain knowledge
feature space
training data