Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor
Lüdemann, Dierk
Produktnummer:
185480aea6c17243e8b41d006abed6dfb3
| Autor: | Lüdemann, Dierk |
|---|---|
| Themengebiete: | Kontrollflussanalyse Präprozessor Software-Produktlinie Statische Analyse |
| Veröffentlichungsdatum: | 23.08.2018 |
| EAN: | 9783832547424 |
| Sprache: | Deutsch |
| Seitenzahl: | 286 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Logos Berlin |
Produktinformationen "Kontrollflussanalyse und formale Begriffsanalyse von C-Code aus Software-Produktlinien mit Variabilitätsmanagement durch den Präprozessor"
Statische Quelltextanalyse unterstützt Programmierer in vielen Bereichen ihrer Arbeit. Kommt jedoch der Präprozessor der Programmiersprache C zum Einsatz, so stößt die statische Analyse schnell an ihre Grenzen. Eine Betrachtung aller Varianten nach dem Präprozessordurchlauf scheitert meist an der kombinatorischen Explosion durch die vielen Konfigurationspunkte einer Software-Produktlinie, wie dem Linux-Kernel, deren Variabilität durch den Präprozessor bereitgestellt wird. In diesem Werk wird sich der Herausforderung angenommen, jegliche Formen des Einsatzes des Präprozessors zu berücksichtigen, während die vollständige Variabilität präserviert wird. Dazu wird ein Verfahren vorgestellt, mit dem der Kontrollfluss von Quelltext berechnet werden kann, ohne dass jede Variante einzeln betrachtet werden muss. Außerdem wird die formale Begriffsanalyse verwendet, um den Linux-Kernel zu untersuchen. Mit dieser Form der statischen Analyse werden verborgene Zusammenhänge zwischen Präprozessorvariablen sichtbar.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen