Program Analysis for Safe and Secure Software Evolution

Project Information

PASS

Grant agreement ID: 819141

DOI

10.3030/819141

Project closed

EC signature date 17 December 2018

Start date 1 October 2019

End date 31 December 2024

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 955 129,00

EU contribution

€ 1 955 129,00

Coordinated by

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Author(s): Anastasios Andronidis, Cristian Cadar
Published in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

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

Patch Specifications via Product Programs

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

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

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

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

Author(s): Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Published in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Publisher: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Author(s): Frank Busse, Martin Nowack, Cristian Cadar
Published in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Page(s) 63-74, ISBN 9781450380089
Publisher: ACM
DOI: 10.1145/3395363.3397360

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

Author(s): Cristian Cadar
Published in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Publisher: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

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

Author(s): Ahmed Zaki, Arindam Sharma, Cristian Cadar
Published in: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Publisher: IEEE

Past-sensitive pointer analysis for symbolic execution

Author(s): David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Published in: 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
Publisher: ACM
DOI: 10.1145/3368089.3409698

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

Author(s): Thomas Bailey, Cristian Cadar
Published in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Publisher: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Author(s): Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Published in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Publisher: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Author(s): Timotej Kapus, Frank Busse, Cristian Cadar
Published in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 115-126, ISBN 9781450367684
Publisher: ACM
DOI: 10.1145/3324884.3416589

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

Author(s): Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Published in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Publisher: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Author(s): Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Published in: IEEE Software, Issue 38/3, 2021, Page(s) 79-86, ISSN 0740-7459
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

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

Grammar Mutation for Testing Input Parsers

Author(s): Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
Published in: ACM Transactions on Software Engineering and Methodology, 2025, ISSN 1049-331X
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3708517

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

Author(s): Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Published in: Empirical Software Engineering, Issue 15737616, 2022, ISSN 1573-7616
Publisher: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

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