GUPRO - Generische Umgebung zum PROgrammverstehen

Kurzfassung

Die gegenwärtigen Arbeiten im Programmverstehenssystem GUPRO bauen auf dem BMBF-geförderten Projekt GUPRO auf, in dem ein Generator zur Erzeugung sprachübergreifender Programmverstehenswerkzeuge entwickelt wurde, der das Nachvollziehen und Verstehen auch heterogener Software beliebiger Programmiersprachen unterstützt. Ziel des Projekts mit dem BSI ist die Entwicklung eines Werkzeuges zur Unterstützung der Untersuchung von sicherheitskritischer Software mit dem Ziele der Zertifizierung. Dies...Die gegenwärtigen Arbeiten im Programmverstehenssystem GUPRO bauen auf dem BMBF-geförderten Projekt GUPRO auf, in dem ein Generator zur Erzeugung sprachübergreifender Programmverstehenswerkzeuge entwickelt wurde, der das Nachvollziehen und Verstehen auch heterogener Software beliebiger Programmiersprachen unterstützt. Ziel des Projekts mit dem BSI ist die Entwicklung eines Werkzeuges zur Unterstützung der Untersuchung von sicherheitskritischer Software mit dem Ziele der Zertifizierung. Dies beinhaltet zum einen die Bereitstellung geeigneter Analyseverfahren und zum anderen die Konzeption einer passenden Bedienoberfläche. Seitens der Analyseverfahren wird die Technik des Program Slicings umgesetzt, mit deren Hilfe die Abhängigkeiten zwischen den Teilen eines Programmes ermittelt werden können. Als Voraussetzung für ein präzises Slicing wird ein Pointeranalyseverfahren umgesetzt. Objektsprachen der Implementierung sind C, C++ und Ada. Auf Seiten der Bedienung wird zusammen mit dem Projektpartner eine komfortable Oberfläche konzipiert, deren Funktionalität den speziellen Anforderungen der Sicherheitsüberprüfung genügt, welche bspw. im Nachweis von Sicherheitsverletzungen oder in der Reproduzierbarkeit einer Analyse liegen. Weitere Info im WWW: http://www.gupro.de/» weiterlesen » einklappen