AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation. - Alexander Küchler; Leon Wenning; Florian Wendland (AsiaCCS, 2023)