Statische Programmanalyse leichtgemacht.
Um Code von hoher Qualität zu erzeugen, müssen Compiler in der Lage sein, effizienzerhöhende Programmumformungen automatisch vorzunehmen. Solche Umformungen basieren in aller Regel auf statischen Programm- bzw. Datenflußanalysen, deren Implementierung aufwendig und teuer sein kann.
Unser Programmanalysatorengenerator PAG unterstützt
Sie bei der Implementierung von statischen Programmanalysen. Basierend
auf der formalen Theorie der sogenannten “abstrakten Interpretation”,
generiert PAG vollautomatisch effiziente, nachweisbar korrekte
und garantiert terminierende Datenflußanalysen nach Ihren Wünschen und
Vorgaben. Damit können Sie Ihre Entwicklungszeiten wesentlich verkürzen
und die Entwicklungskosten stark senken.
Features
- Leichtes Arbeiten dank einer einfachen und präzisen Problembeschreibungssprache.
- Die von PAG generierten Analysatoren sind außerordentlich effizient dank hochentwickelter Datenstrukturen und Iterationsalgorithmen.
- Dank einer wohldefinierten Schnittstelle können die Analysatoren leicht in vorhandene Compiler integriert werden.
Anwendungsgebiete
PAG wird sowohl von AbsInt selbst, als auch von vielen Firmen und Universitäten weltweit eingesetzt, um u.a. folgende Analysen zu implementieren:
- Stackanalyse
- Pipeline-Analyse
- Cache-Analyse
- Shape-Analyse
- Value-Analyse
- Intervallanalyse
- Speicherfehlererkennung (Null-Pointer-Dereferenzierung)
- Kompressionsfreie Codekompaktierung
- Conditional-Constant-Propagation
- Adreßmodusoptimierung
- Datenabhängigkeitsanalysen auf Pointer-Strukturen
- Optimierungen für einen Video-Accelerator-Multiprozessor
- Escape-Analyse unter Java
- Strongly-Live-Variables-Analyse
- Klassische Bit-Vektor-Analysen
Unterstützte Betriebssysteme
PAG läuft unter diversen Unix-Dialekten inklusive Linux. Die Analysatoren werden in ANSI-C erzeugt.
Demoversion
Seit dem 1. Juni 2007 ist PAG nicht mehr als eigenständiges Produkt erhältlich. Sie können allerdings nach wie vor die kostenlose Online-Version des PAG unter www.program-analysis.com benutzen.
Weitere Informationen
- Produktflyer (PDF, 39kB, in Englisch)
- Publikationen (in Englisch)
- Kontakt
