Integer overflow vulnerabilities detection in software binary code.

Roman Demidov, Alexander I. Pechenkin, Peter D. Zegzhda

Browse the full SIN paper archive.