Synchronisierte Pushdown Systeme für Datenﬂuss-Analysen

dc.contributor.author	Späth, Johannes
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2022-01-24T12:37:18Z
dc.date.available	2022-01-24T12:37:18Z
dc.date.issued	2020
dc.description.abstract	Statische Datenflussanalysen untersuchen das Verhalten von Software ohne die Software dabei auszuführen. Eine statische Analyse analysiert alle möglichen Programmpfade und eignet sich damit um Fehler im Programm oder Sicherheitslücken aufzudecken. Allerdings ist es eine Herausforderung, die Analysen präzise und effizient zu designen. Präzise Analysen sind notwendig, um unnötige falsche Warnungen zu vermeiden. Gleichzeitig soll die Analyse effizient sein, sodass sie am Besten direkt in der Entwicklungsumgebung eingesetzt werden kann. Diese Arbeit präsentiert Synchronisierte Pushdown Systeme (SPDS) und auf SPDS aufbauende Entwicklungen, die präzise und effiziente statische Datenflussanalysen ermöglichen.	de
dc.identifier.isbn	978-3-88579-775-3
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/38012
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2019
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume D-20
dc.title	Synchronisierte Pushdown Systeme für Datenﬂuss-Analysen	de
dc.type	Text/Conference Paper
gi.citation.endPage	208
gi.citation.publisherPlace	Bonn
gi.citation.startPage	199
gi.conference.date	17.-20. Mai 2020
gi.conference.location	Schoss Dagstuhl, Deutschland

Dateien

1 - 1 von 1