CORDIS
EU research results

CORDIS

English EN

Algorithmic Verification of String Manipulating Programs

Objective

String is among the most fundamental and commonly used data types in virtually all modern programming languages, especially with the rapidly growing popularity of scripting languages (e.g. JavaScript and Python). Programs written in such languages tend to perform heavy string manipulations, which are complex to reason about and could easily lead to programming mistakes. In some cases, such mistakes could have serious consequences, e.g., in the case of client-side web applications, cross-site scripting (XSS) attacks that could lead to a security breach by a malicious user.

The central objective of the proposed project is to develop novel verification algorithms for analysing the correctness (esp. with respect to safety and termination properties) of programs with string variables, and transform them into robust verification tools. To meet this key objective, we will make fundamental breakthroughs on both theoretical and tool implementation challenges. On the theoretical side, we address two important problems: (1) design expressive constraint languages over strings (in combination with other data types like integers) that permit decidability with good complexity, and (2) design generic semi-algorithms for verifying string programs that have strong theoretical performance guarantee. On the implementation side, we will address the challenging problem of designing novel implementation methods that can substantially speed up the basic string analysis procedures in practice. Finally, as a proof of concept, we will apply our technologies to two key application domains: (1) automatic detection of XSS vulnerabilities in web applications, and (2) automatic grading systems for a programming course.

The project will not only make fundamental theoretical contributions — potentially solving long-standing open problems in the area — but also yield powerful methods that can be used in various applications.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Host institution

TECHNISCHE UNIVERSITAET KAISERSLAUTERN

Address

Gottlieb Daimler Strasse
67663 Kaiserslautern

Germany

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 1 332 075

Beneficiaries (2)

Sort alphabetically

Sort by EU Contribution

Expand all

TECHNISCHE UNIVERSITAET KAISERSLAUTERN

Germany

EU Contribution

€ 1 332 075

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

United Kingdom

EU Contribution

€ 164 612

Project information

Grant agreement ID: 759969

Status

Ongoing project

  • Start date

    1 November 2017

  • End date

    31 October 2022

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 496 687

  • EU contribution

    € 1 496 687

Hosted by:

TECHNISCHE UNIVERSITAET KAISERSLAUTERN

Germany