Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs
IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution