Program Analysis for Safe and Secure Software Evolution

Projektinformationen

PASS

ID Finanzhilfevereinbarung: 819141

DOI

10.3030/819141

Projekt abgeschlossen

EK-Unterschriftsdatum 17 Dezember 2018

Startdatum 1 Oktober 2019

Enddatum 31 Dezember 2024

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 955 129,00

EU-Beitrag

€ 1 955 129,00

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Autoren: Anastasios Andronidis, Cristian Cadar
Veröffentlicht in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Autoren: Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Veröffentlicht in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Herausgeber: ACM
DOI: 10.1145/3597926.3598130

Patch Specifications via Product Programs

Autoren: Cristian Cadar, Daniel Schemmel, Arindam Sharma
Veröffentlicht in: IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
Herausgeber: IEEE
DOI: 10.1109/formalise58978.2023.00012

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

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

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

Autoren: Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Veröffentlicht in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Herausgeber: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Autoren: Frank Busse, Martin Nowack, Cristian Cadar
Veröffentlicht in: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Seite(n) 63-74, ISBN 9781450380089
Herausgeber: ACM
DOI: 10.1145/3395363.3397360

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

Autoren: Cristian Cadar
Veröffentlicht in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Herausgeber: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

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

Autoren: Ahmed Zaki, Arindam Sharma, Cristian Cadar
Veröffentlicht in: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Herausgeber: IEEE

Past-sensitive pointer analysis for symbolic execution

Autoren: David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Veröffentlicht in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Seite(n) 197-208, ISBN 9781450370431
Herausgeber: ACM
DOI: 10.1145/3368089.3409698

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

Autoren: Thomas Bailey, Cristian Cadar
Veröffentlicht in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Herausgeber: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Autoren: Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Veröffentlicht in: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Herausgeber: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Autoren: Timotej Kapus, Frank Busse, Cristian Cadar
Veröffentlicht in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Seite(n) 115-126, ISBN 9781450367684
Herausgeber: ACM
DOI: 10.1145/3324884.3416589

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

Autoren: Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Veröffentlicht in: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Herausgeber: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Autoren: Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Veröffentlicht in: IEEE Software, Ausgabe 38/3, 2021, Seite(n) 79-86, ISSN 0740-7459
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

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

Grammar Mutation for Testing Input Parsers

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

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

Autoren: Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Veröffentlicht in: Empirical Software Engineering, Ausgabe 15737616, 2022, ISSN 1573-7616
Herausgeber: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

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