Untersuchung und sichere Erkennung von „Undefiniertem Verhalten“ beim Speicherzugriff durch Entwicklung eines Interpreters
In dieser Arbeit soll ein Interpreter für die Programmiersprache C entwickelt werden, der mehr Speicherzugriffsfehler und andere Fehler als valgrind und UBSan/AddressSanitizer entdeckt.
Bereich:
E-Mail senden