Record #342677 - GSI Repository

MirandaTesting

Testing Program Analyzers Ad Absurdum

Grant period	2023-07-01 - 2028-06-30
Funding body	European Union
Call number	ERC-2022-STG
Grant number	101076510
Identifier	G:(EU-Grant)101076510

Note: Program analyzers act as guards for ensuring reliability of modern-day software. But who guards the guards themselves? Due to their high complexity and sophisticated algorithms, analyzers are likely to contain critical bugs, which we define as those leading to wrong results, e.g., returning `correct' for incorrect software. Such bugs may have detrimental consequences, especially in safety-critical settings. It is, therefore, imperative to be able to detect them. Verifying the absence of critical bugs in a program analyzer is prohibitively expensive. Contrary to verification, automated test generation can be used to effectively find such bugs. Existing testing approaches, however, are still in their infancy for this application domain. To address this issue, MirandaTesting will develop the first principled methodology for testing a wide range of program analyzers. At its core, our methodology exposes more information about why an analyzer computes a particular result; it then uses this information to interrogate the analyzer aiming to force it into a contradiction, thus revealing a critical bug. The project has the following goals: 1. Design a general framework for testing program analyzers using the MirandaTesting methodology; 2. Develop interrogation strategies pertaining to eleven prevalent classes of program analyzers; 3. Demonstrate the effectiveness of concrete instantiations of the general framework and interrogation strategies for several popular program analyzers from each class; 4. Focus on disseminating our methodology and infrastructure. If successful, MirandaTesting will enable systematic testing of entire program-analyzer classes. As a result, analyzers will exhibit fewer critical bugs, potentially preventing catastrophic outcomes in safety-critical domains.

Recent Publications

There are no publications

Record created 2023-08-27, last modified 2023-08-27

Similar records

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

GSI Homepage \| GSI Library \| English Deutsch \| guest :: login GSI Repository
Search	Submit	Personalize Your alerts Your baskets Your searches	Help