Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk).

Published in: PEPM (2000)

Keyphrases

static analysis
invited talk
abstract interpretation
symbolic execution
dynamic analysis
source code
selected papers
knowledge discovery and data mining
test generation
java card
malicious code
regular expressions
information systems
case study
api calls
database