A Tool Which Mines Partial Execution Traces to Improve Static Analysis.

Gianluca Amato Maurizio Parton Francesca Scozzari

Published in: RV (2010)

Keyphrases

static analysis
execution traces
source code
dynamic analysis
open source
software systems
malicious code
object oriented
reverse engineering
test generation
abstract interpretation