PhASAR Support

Als Initiatoren und Hauptbeitragende des PhASAR Rahmenwerks (https://phasar.org/ / https://github.com/secure-software-engineering/phasar) zur statischen Codeanalyse von C und C++ Code bieten wir Ihnen die bestmögliche Expertise und Unterstützung bei der Entwicklung von PhASAR-basierten Analysen.

Wir bieten Ihnen Unterstützung bei Konfiguration und Einsatz von PhASAR zur zielgerichteten, statischen Analyse Ihrer Projekte. Darüber erstellen wir Ihnen gerne auch Schulungen bzw. Trainings zur effektiven Benutzung von PhASAR und dem Erstellen von eigenen Analysen innerhalb des PhASAR Rahmenwerks.

Selbstverständlich konzipieren und entwickeln wir auch maßgeschneiderte Analysen für Ihre individuellen Anforderungen. Dabei reicht es vollkommen, wenn Sie mit Ihren Anforderungen an uns herantreten. Wir werden in enger Zusammenarbeit mit Ihnen genau eruieren, ob und wie sich statische Analyse zur Lösung Ihrer Anforderungen anbietet und entwickeln diese im Anschluss.

Fehlen Ihnen die Ressourcen oder möchten Sie die Analysen nicht selbst ausführen? Gerne stellen wir Ihnen PhASAR auch als Analyseplattform zur Verfügung und bieten Ihnen damit wohl eine der flexibelsten Lösungen an. Nach initialer Konfiguration und/oder der Entwicklung von individuellen Analysen bieten wir Ihnen die Cloud-basierte Ausführung entsprechender Analysen. Sie selbst benötigen keinerlei Infrastruktur auf Ihrer Seite, sondern können uns bequem die Ausführung Ihrer Analysen überlassen. Analyseergebnisse erhalten Sie durch die nahezu unbegrenzten Ressourcen, die unsere Analyseplattform in der Cloud anfordern kann, innerhalb kürzester Zeit in Form von aufbereiteten Analyse-Reports. Die Ergebnisse lassen sich auch in dynamischer Form, etwa über die Anbindung über das Language Server Protocol (LSP), direkt in den IDEs bzw. Texteditoren Ihrer Entwickler abrufen.