IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution

Tielei Wang, Tao Wei, Zhiqiang Lin, Wei Zou. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2009, San Diego, California, USA, 8th February - 11th February 2009. The Internet Society, 2009. [doi]

Authors

Tielei Wang

This author has not been identified. Look up 'Tielei Wang' in Google

Tao Wei

This author has not been identified. Look up 'Tao Wei' in Google

Zhiqiang Lin

This author has not been identified. Look up 'Zhiqiang Lin' in Google

Wei Zou

This author has not been identified. Look up 'Wei Zou' in Google