Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-2846
Authors: Bühler, Stefan
Title: Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse
Other Titles: Design and implementation of a concurrant point-to constrain server
Issue Date: 2011
metadata.ubs.publikation.typ: Studienarbeit
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-74051
http://elib.uni-stuttgart.de/handle/11682/2863
http://dx.doi.org/10.18419/opus-2846
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.
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
STUD_2330.pdf294,85 kBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.