# Detecting integer overflow in Windows binary executables based on symbolic execution

> Research article (2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016) · cited 10× · AI/ML

**Wikidata**: [openalex:W2489283796](https://www.wikidata.org/wiki/openalex:W2489283796)  
**Source**: https://4ort.xyz/entity/detecting-integer-overflow-in-windows-binary-executables-based-on-symbolic-execution