Seit dem 1. Juni 2007 ist PAG nicht mehr als eigenständiges Produkt erhältlich. Bei allen Fragen wenden Sie sich bitte an support@absint.com.
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