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

Tielei Wang, Tao Wei, Zhiqiang Lin, Wei Zou

Browse the full NDSS paper archive.