Static Analysis for Efficient Hybrid Information-Flow Control.

Scott Moore Stephen Chong

Published in: CSF (2011)

Keyphrases

static analysis
dynamic analysis
source code
decision making
abstract interpretation
test generation
malicious code
information flow control