Tielei Wang, Tao Wei, Zhiqiang Lin, Wei Zou: IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution. NDSS 2009