Verbesserung der Praxistauglichkeit der statischen Taint-Analyse

Abstract

Statische Taint-Analyse ist eine Programmanalysetechnik, die bösartige Software aufspüren und ein breites Spektrum von Sicherheitslücken aufdecken kann. Obwohl sowohl in der Industrie als auch im akademischen Bereich viele statische Taint-Analyse-Werkzeuge entwickelt wurden, werden nur sehr wenige davon in der Industrie eingesetzt. Diese Kurzfassung stellt meine Dissertation vor, in der ich die Gründe für die mangelnde Nutzung von statische Taint-Analyse-Werkzeuge in der Praxis untersuchte. Ich entwickelte verschiedene Ansätze, die drei erkannte Probleme angehen, um die Praxistauglichkeit der statischen Taint-Analyse zu verbessern.