Program Analysis for Safe and Secure Software Evolution

Informacje na temat projektu

PASS

Identyfikator umowy o grant: 819141

DOI

10.3030/819141

Projekt został zamknięty

Data podpisania przez KE 17 Grudnia 2018

Data rozpoczęcia 1 Października 2019

Data zakończenia 31 Grudnia 2024

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 955 129,00

Wkład UE

€ 1 955 129,00

Koordynowany przez

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Autorzy: Anastasios Andronidis, Cristian Cadar
Opublikowane w: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Wydawca: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Autorzy: Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Opublikowane w: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Wydawca: ACM
DOI: 10.1145/3597926.3598130

Patch Specifications via Product Programs

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

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

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

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

Autorzy: Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Opublikowane w: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Wydawca: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Autorzy: Frank Busse, Martin Nowack, Cristian Cadar
Opublikowane w: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Strona(/y) 63-74, ISBN 9781450380089
Wydawca: ACM
DOI: 10.1145/3395363.3397360

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

Autorzy: Cristian Cadar
Opublikowane w: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Wydawca: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

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

Autorzy: Ahmed Zaki, Arindam Sharma, Cristian Cadar
Opublikowane w: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Wydawca: IEEE

Past-sensitive pointer analysis for symbolic execution

Autorzy: David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Opublikowane w: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Strona(/y) 197-208, ISBN 9781450370431
Wydawca: ACM
DOI: 10.1145/3368089.3409698

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

Autorzy: Thomas Bailey, Cristian Cadar
Opublikowane w: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Wydawca: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Autorzy: Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Opublikowane w: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Wydawca: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Autorzy: Timotej Kapus, Frank Busse, Cristian Cadar
Opublikowane w: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Strona(/y) 115-126, ISBN 9781450367684
Wydawca: ACM
DOI: 10.1145/3324884.3416589

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

Autorzy: Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Opublikowane w: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Wydawca: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Autorzy: Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Opublikowane w: IEEE Software, Numer 38/3, 2021, Strona(/y) 79-86, ISSN 0740-7459
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

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

Grammar Mutation for Testing Input Parsers

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

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

Autorzy: Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Opublikowane w: Empirical Software Engineering, Numer 15737616, 2022, ISSN 1573-7616
Wydawca: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

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