project . 2016 - 2021 . On going

MOPSA

Modular Open Platform for Static Analysis
Open Access mandate for Publications European Commission
  • Funder: European CommissionProject code: 681393 Call for proposal: ERC-2015-CoG
  • Funded under: H2020 | ERC | ERC-COG Overall Budget: 1,773,750 EURFunder Contribution: 1,773,750 EUR
  • Status: On going
  • Start Date
    01 Jun 2016
    End Date
    30 Nov 2021
  • Detailed project information (CORDIS)
  • Open Access mandate
    Research Data: No
Description
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 ru...
Link existing DMPs with this project or start a new DMP in Argos.
Description
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 ru...
Link existing DMPs with this project or start a new DMP in Argos.
Any information missing or wrong?Report an Issue