Generalized vulnerability extrapolation using abstract syntax trees
IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution