Program Analysis and Reorganization, as a Service

Projektinformationen

PARSe

ID Finanzhilfevereinbarung: 790340

DOI 10.3030/790340

Projekt abgeschlossen

EK-Unterschriftsdatum 18 April 2018

Startdatum 1 Oktober 2018

Enddatum 31 März 2020

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten € 150 000,00

EU-Beitrag € 150 000,00

Koordiniert durch

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Greece

Projektbeschreibung

Verfahren der Analyse als Dienstleistung für Programmierfachkräfte

Fachkräfte im Bereich des Programmierens in Softwareunternehmen müssen sich mit wichtigen Fragen im Bereich des Programmverständnisses beschäftigen, z. B. mit der Verwendung des Codes oder mit Sicherheitsschwachstellen, damit diese behoben werden können. Im EU-finanzierten Projekt PARSe wird das Potenzial für einen breit gefächerten Einsatz (und eine mögliche Kommerzialisierung) einer Analyse als Dienstleistung für das Verständnis und die Reorganisation von Programmen untersucht. Die Arbeit baut auf dem Pionierforschungsprojekt des Europäischen Forschungsrats SPADE auf, insbesondere den dort entwickelten Algorithmen zur Programmanalyse, welche die Grundlage für den Dienst bilden, mit dem Analysefragen genau beantwortet werden können. Das Team greif auf Verfahren der statischen Analyse gesamter Programme zurück, darunter Zeiger-, Wertefluss- und Taint-Analysen.

Ziel

The PARSE project will explore the potential for wide deployment (and possible commercialization) of whole-program static program analysis techniques as a web-based service for program comprehension and reorganization. This analysis-as-a-service (AaaS) approach will have direct value for a large number of professional programmers. The programmer will use the service to answer key program comprehension questions (including: “how does my code use this open-source library?”; “Am I affected by the security vulnerabilities discovered in this library code?”; “What objects should I lock before making this library call?”) and to act upon them (e.g. reorganize code and prepare packaged versions of binary code for deployment so that only the minimal needed code is included).

Such needs have been identified in direct contact with major software companies (namely, Facebook and Oracle, which are both partners in current projects with the PI’s group). The proposed work lifts such specific coding needs to a general-availability web-based software analysis service. Analysis questions will be answered in high precision, with the aid of the program analysis algorithms developed in the ERC frontier research project (SPADE —307334) that the proposed work draws upon. Past tools in the commercial or research space have focused on high-precision, yet local, analysis. The proposed work will leverage whole-program static analysis techniques (such as pointer, value-flow, and taint analyses) that the PI’s group has extensively developed in the last decade.

Wissenschaftliches Gebiet

• natural sciences › computer and information sciences › software

Programm/Programme

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme

Thema/Themen

• ERC-2017-PoC - ERC-Proof of Concept

Aufforderung zur Vorschlagseinreichung

ERC-2017-PoC

Finanzierungsplan

ERC-POC - Proof of Concept Grant

Gastgebende Einrichtung

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON

• Netto-EU-Beitrag: € 150 000,00
• Adresse: 6 CHRISTOU LADA STR ; 10561 Athina ; Griechenland
• Region: Αττική › Aττική › Κεντρικός Τομέας Αθηνών
• Aktivitätstyp: Higher or Secondary Education Establishments
• Gesamtkosten: € 150 000,00

Begünstigte (1)

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON

Griechenland

• Netto-EU-Beitrag: € 150 000,00
• Adresse: 6 CHRISTOU LADA STR ; 10561 Athina
• Region: Αττική › Aττική › Κεντρικός Τομέας Αθηνών
• Aktivitätstyp: Higher or Secondary Education Establishments
• Gesamtkosten: € 150 000,00