Fast Static Analysis of C++ Virtual Function Calls.

David F. Bacon Peter F. Sweeney

Published in: OOPSLA (1996)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
augmented reality
virtual environment
virtual reality
regular expressions
java card
virtual world
test suite
test generation
knowledge base
decision trees