Static analysis of Ravenscar programs.

Peter Amey Brian Dobbing

Published in: IRTAW (2003)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
test generation
java card
regular expressions
database systems
databases
data model
api calls
case study
high level
open source