Program Analysis for Safe and Secure Software Evolution

Informations projet

PASS

N° de convention de subvention: 819141

DOI

10.3030/819141

Projet clôturé

Date de signature de la CE 17 Decembre 2018

Date de début 1 Octobre 2019

Date de fin 31 Decembre 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 955 129,00

Contribution de l’UE

€ 1 955 129,00

Coordonné par

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Auteurs: Anastasios Andronidis, Cristian Cadar
Publié dans: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Auteurs: Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Publié dans: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Éditeur: ACM
DOI: 10.1145/3597926.3598130

Patch Specifications via Product Programs

Auteurs: Cristian Cadar, Daniel Schemmel, Arindam Sharma
Publié dans: IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
Éditeur: IEEE
DOI: 10.1109/formalise58978.2023.00012

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay

Auteurs: Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar
Publié dans: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Éditeur: ACM
DOI: 10.1145/3597926.3604921

Combining static analysis error traces with dynamic symbolic execution (experience paper)

Auteurs: Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Publié dans: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Éditeur: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Auteurs: Frank Busse, Martin Nowack, Cristian Cadar
Publié dans: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 63-74, ISBN 9781450380089
Éditeur: ACM
DOI: 10.1145/3395363.3397360

Three Colours of Fuzzing: Reflections and Open Challenges (Keynote)

Auteurs: Cristian Cadar
Publié dans: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Éditeur: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Auteurs: Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Publié dans: 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2022.9

Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study

Auteurs: Ahmed Zaki, Arindam Sharma, Cristian Cadar
Publié dans: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Éditeur: IEEE

Past-sensitive pointer analysis for symbolic execution

Auteurs: David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Publié dans: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Page(s) 197-208, ISBN 9781450370431
Éditeur: ACM
DOI: 10.1145/3368089.3409698

Code, Test and Coverage Evolution in Mature Software Systems: Changes over the Past Decade

Auteurs: Thomas Bailey, Cristian Cadar
Publié dans: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Éditeur: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Auteurs: Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Publié dans: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Éditeur: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Auteurs: Timotej Kapus, Frank Busse, Cristian Cadar
Publié dans: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 115-126, ISBN 9781450367684
Éditeur: ACM
DOI: 10.1145/3324884.3416589

Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing

Auteurs: Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Publié dans: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Éditeur: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Auteurs: Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Publié dans: IEEE Software, Numéro 38/3, 2021, Page(s) 79-86, ISSN 0740-7459
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

Auteurs: Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
Publié dans: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3708533

Grammar Mutation for Testing Input Parsers

Auteurs: Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
Publié dans: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3708517

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively

Auteurs: Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Publié dans: Empirical Software Engineering, Numéro 15737616, 2022, ISSN 1573-7616
Éditeur: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

Auteurs: Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
Publié dans: International Journal on Software Tools for Technology Transfer, 2022, ISSN 1433-2787
Éditeur: Springer
DOI: 10.1007/s10009-021-00644-w