Exploiting Trade-off s in Symbolic Execution for Identifying Security Bugs
LLVM: a compilation framework for lifelong program analysis & transformation