Project description DEENESFRITPL Catching all bugs before execution: a scalable static analysis approach Computer programs are ubiquitous, increasingly large and complex and still largely tailor-made. Despite careful planning and sequential bug-checking as new sequences are added, errors are pervasive and can be difficult to identify and eliminate. Often, errors are identified after compilation and running, making error identification a search for a needle in the haystack. The ERC-funded MOPSA project will leverage static analysis, also called static code analysis, which enables debugging via direct analysis of the source code prior to execution. The team will ensure the methods are scalable and 100 % effective and expand their use to larger, more complex and heterogeneous software rather than specific contexts. Show the project objective Hide the project objective Objective The Mopsa project aims at creating methods and tools to make computer software more reliable.Programming errors are pervasive with results ranging from user frustration to huge economical or human losses. Traditional test-based methods are insufficient to eliminate all errors. The project will develop static analyses able to detect at compile-time whole classes of program defects, leveraging the theory of abstract interpretation to design analyses that are approximate (to scale up to large programs) and sound (no defect is missed). Static analysis has enjoyed recent successes: Astrée, an industrial analyzer I have coauthored, was able to prove the absence of run-time error in Airbus software. But such results are limited to the specific, well-controlled context of critical embedded systems. I wish to bring static analysis to the next level: target larger, more complex and heterogeneous software, and make it usable by engineers to improve general-purpose software.We focus on analyzing open-source software which are readily available, complex, widespread, and important from an economical standpoint (they are used in many infrastructures and companies) but also societal and educational ones (promoting the development of verified software for and by citizens). A major target we consider is the set of technologies at the core on Internet on which static analysis could be applied to ensure a safer Internet. The scientific challenges we must overcome include designing scalable analyses producing relevant information, supporting novel popular languages (such as Python), analyzing properties more adapted to the continuous development of software common in open-source. At the core of the project is the construction of an open-source static analysis platform. It will serve not only to implement and evaluate the results of the project, but also create a momentum encouraging the research in static analysis and hasten its adoption in open-source development communities. Fields of science natural sciencesmathematicspure mathematicsalgebralinear algebranatural sciencescomputer and information sciencesinternetsocial sciencessociologyindustrial relationsautomationnatural sciencescomputer and information sciencessoftwaresoftware development Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Topic(s) ERC-CoG-2015 - ERC Consolidator Grant Call for proposal ERC-2015-CoG See other projects for this call Funding Scheme ERC-COG - Consolidator Grant Host institution SORBONNE UNIVERSITE Net EU contribution € 1 773 750,00 Address 21 RUE DE L'ECOLE DE MEDECINE 75006 Paris France See on map Region Ile-de-France Ile-de-France Paris Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 1 773 750,00 Beneficiaries (1) Sort alphabetically Sort by Net EU contribution Expand all Collapse all SORBONNE UNIVERSITE France Net EU contribution € 1 773 750,00 Address 21 RUE DE L'ECOLE DE MEDECINE 75006 Paris See on map Region Ile-de-France Ile-de-France Paris Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 1 773 750,00
