AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract Interpretation.

Alexander Kchler, Leon Wenning, Florian Wendland

Browse the full AsiaCCS paper archive.