AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation
Conference proceeding (July 2023)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (July 2023)
Conference proceeding (June 2009)
Article in Journal of Computer Virology and Hacking Techniques (February 2009)