Student Thesis STUD-2330

BibliographyBühler, Stefan: Entwicklung und Implementierung eines nebenläufigen Contraint-Solver für die Points-To-Analyse.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Student Thesis No. 2330 (2011).
39 pages, german.
CR-SchemaD.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
F.4.3 (Formal Languages)
Abstract

Die Points-To-Analyse ist eine statische Programmanalyse, um zu bestimmen, auf welche Speicherbereiche ein Zeiger zeigen kann. Ziel der Arbeit ist, einen Constraint-Solver zu implementieren, mit dessen Hilfe eine flussinsensitive, kontextinsensitive, gerichtete, struktursensitive aber feldinsensitive Points-To-Analyse umgesetzt werden kann.

Die Implementierung des Constraint-Solver kann dabei mehrere Prozessoren verwenden. Eine Zyklenkontraktion von Speicherfeldern, die dieselben Points-To-Mengen haben, soll zu weiterem Performancegewinn führen.

Der Ergebnisse der Implementierung können mit einer bereits existierenden prototypischen Implementierung verglichen werden, und die neue Implementierung zeigt in einem Bench- mark eine Beschleunigung mit Faktor 2 im Vergleich zur existierenden Implementierung.

Full text and
other links
PDF (301926 Bytes)
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Superviser(s)Keul, Steffen
Entry dateMarch 20, 2012
   Publ. Computer Science