tools

static analysis
> findbugs
> clang
> soot

parser generator
> antrl

symbolic analysis + automatic test gen
> pex
> klee
> randoop

model inference
> perracotta
> daikon