Optimizing MemorySanitizer Instrumentation using Static Analysis Optimizing MemorySanitizer Instrumentation using Static Analysis Supervisor(s): Benjamin Orthen, Julian Horsch Status: inprogress Topic: Others Author: Yannic Hampel Submission: 2025-10-01 Type of Thesis: Bachelorthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description