Automatic generation of library bindings using static analysis.

Tristan Ravitch Steve Jackson Eric Aderhold Ben Liblit

Published in: PLDI (2009)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
regular expressions
automatically generate
malicious code
java card
artificial intelligence
metadata
test generation
abstract interpretation
object oriented
open source
datalog programs