Record #557535

DFG project G:(GEPRIS)154707536

Verifikation der Speicherhandhabung in bestehenden C Programmen mit numerischen abstrakten Domänen.

Coordinator	Dr. Axel Simon
Grant period	2009 - 2014
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)154707536

Note: Formale Methoden, basierend auf Spezifikationen und design-by-contract, werden seit langem propagiert um verlässliche Software zu konstruieren. Aufgrund der Kosten dieses Ansatzes und dem großen Umfang an bestehender Software, stieg das Interesse an der Erforschung von automatischen Analysen für Softwareprodukte ohne jegliche Spezifikation. Wegen der fehlenden Spezifikation können solche Analysen höchstens die Abwesenheit von gewissen Laufzeitfehlern nachweisen, da Laufzeitfehler von der Ausführungsumgebung bestimmt sind (z.B. von der Sprachspezifikation von C). Interessanterweise, wenn diese Laufzeitfehler ausgeschlossen werden können, sind auch die schwerwiegendsten Sicherheitslücken, in denen beliebiger Kode auf fremden Rechnern ausgeführt werden kann, ausgeschlossen: Diese Fehler nutzen eine inkorrekte Verwaltung des Arbeitsspeichers aus, welches normalerweise zu einem Laufzeitfehler führt. Das Ziel des Projektes ist es daher, eine performante Analyse zu entwickeln die genau genug ist, um die Abwesenheit von Speicherverwaltungsfehlern in bestehenden C Programmen zu zeigen. Das Projekt ist zweigeteilt: Der erste Teil beschäftigt sich mit der Analyse von ausführbarem Kode welches die Behandlung von Software ermöglicht, deren Quellkode nicht zugänglich ist und welches die Betrachtung von nebenläufigen Programmen ermöglicht. Der zweite Teil kombiniert die Analyse von dynamischen Datenstrukturen mit numerischen Abstraktionen. Dieser Ansatz wird danach auf die kontext-sensitive Analyse von Funktionen angewandt, um die wiederholte Analyse von Funktionen für jeden neuen Aufruf zu verhindern.

Recent Publications

There are no publications

Record created 2023-02-03, last modified 2024-09-27

Similar records

Rate this document:

(Not yet reviewed)

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

guest :: login PUBDB
		Search		Submit		Personalize Your alerts Your baskets Your searches		Help