Integer overflow vulnerabilities detection in software binary code

Roman Demidov, Alexander I. Pechenkin, Peter D. Zegzhda. Integer overflow vulnerabilities detection in software binary code. In Rajveer Singh Shekhawat, Manoj Singh Gaur, Atilla Elçi, Jaideep Vaidya, Oleg B. Makarevich, Ron Poet, Mehmet A. Orgun, Vijaypal S. Dhaka, Manoj Kumar Bohra, Virender Singh, Ludmila K. Babenko, Naghmeh Moradpoor Sheykhkanloo, Behnam Rahnama, editors, Proceedings of the 10th International Conference on Security of Information and Networks, SIN 2017, Jaipur, IN, India, October 13-15, 2017. pages 101-106, ACM, 2017. [doi]

Abstract

Abstract is missing.