TUM Logo

Showing the Absence of Integer Overflows in ARM Binaries by applying Abstract Interpretation

Showing the Absence of Integer Overflows in ARM Binaries by applying Abstract Interpretation

Supervisor(s): Alexander Küchler, Dr. Julian Schütte
Status: inprogress
Topic: Others
Author: Leon Wenning
Submission: 2020-11-16
Type of Thesis: Masterthesis
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching

Description