Program Analysis for Safe and Secure Software Evolution

Informazioni relative al progetto

PASS

ID dell’accordo di sovvenzione: 819141

DOI

10.3030/819141

Progetto chiuso

Data della firma CE 17 Dicembre 2018

Data di avvio 1 Ottobre 2019

Data di completamento 31 Dicembre 2024

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 955 129,00

Contributo UE

€ 1 955 129,00

Coordinato da

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Autori: Anastasios Andronidis, Cristian Cadar
Pubblicato in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Editore: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Autori: Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Pubblicato in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Editore: ACM
DOI: 10.1145/3597926.3598130

Patch Specifications via Product Programs

Autori: Cristian Cadar, Daniel Schemmel, Arindam Sharma
Pubblicato in: IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
Editore: IEEE
DOI: 10.1109/formalise58978.2023.00012

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

Autori: Daniel Schemmel; Julian Büning; Frank Busse; Martin Nowack; Cristian Cadar
Pubblicato in: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Editore: ACM
DOI: 10.1145/3597926.3604921

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

Autori: Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Pubblicato in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Editore: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Autori: Frank Busse, Martin Nowack, Cristian Cadar
Pubblicato in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Pagina/e 63-74, ISBN 9781450380089
Editore: ACM
DOI: 10.1145/3395363.3397360

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

Autori: Cristian Cadar
Pubblicato in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Editore: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Autori: Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Pubblicato in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
Editore: 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

Autori: Ahmed Zaki, Arindam Sharma, Cristian Cadar
Pubblicato in: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Editore: IEEE

Past-sensitive pointer analysis for symbolic execution

Autori: David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Pubblicato in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Pagina/e 197-208, ISBN 9781450370431
Editore: ACM
DOI: 10.1145/3368089.3409698

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

Autori: Thomas Bailey, Cristian Cadar
Pubblicato in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Editore: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Autori: Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Pubblicato in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Editore: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Autori: Timotej Kapus, Frank Busse, Cristian Cadar
Pubblicato in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Pagina/e 115-126, ISBN 9781450367684
Editore: ACM
DOI: 10.1145/3324884.3416589

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

Autori: Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Pubblicato in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Editore: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Autori: Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Pubblicato in: IEEE Software, Numero 38/3, 2021, Pagina/e 79-86, ISSN 0740-7459
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

Autori: Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
Pubblicato in: ACM Transactions on Software Engineering and Methodology, 2024, ISSN 1049-331X
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3708533

Grammar Mutation for Testing Input Parsers

Autori: Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
Pubblicato in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3708517

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

Autori: Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Pubblicato in: Empirical Software Engineering, Numero 15737616, 2022, ISSN 1573-7616
Editore: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

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