Program Analysis for Safe and Secure Software Evolution

Información del proyecto

PASS

Identificador del acuerdo de subvención: 819141

DOI

10.3030/819141

Proyecto cerrado

Fecha de la firma de la CE 17 Diciembre 2018

Fecha de inicio 1 Octubre 2019

Fecha de finalización 31 Diciembre 2024

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 955 129,00

Aportación de la UE

€ 1 955 129,00

Coordinado por

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (14)

SnapFuzz: High-Throughput Fuzzing of Network Applications

Autores: Anastasios Andronidis, Cristian Cadar
Publicado en: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3533767.3534376

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Autores: Even-Mendoza, K; Sharma, A; Donaldson, A; Cadar, C
Publicado en: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023
Editor: ACM
DOI: 10.1145/3597926.3598130

Patch Specifications via Product Programs

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

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

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

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

Autores: Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
Publicado en: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022
Editor: ACM
DOI: 10.1145/3533767.3534384

Running symbolic execution forever

Autores: Frank Busse, Martin Nowack, Cristian Cadar
Publicado en: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020, Página(s) 63-74, ISBN 9781450380089
Editor: ACM
DOI: 10.1145/3395363.3397360

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

Autores: Cristian Cadar
Publicado en: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Editor: ACM
DOI: 10.1145/3605157.3607811

A Deterministic Memory Allocator for Dynamic Symbolic Execution

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

Autores: Ahmed Zaki, Arindam Sharma, Cristian Cadar
Publicado en: International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), 2025
Editor: IEEE

Past-sensitive pointer analysis for symbolic execution

Autores: David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Publicado en: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Página(s) 197-208, ISBN 9781450370431
Editor: ACM
DOI: 10.1145/3368089.3409698

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

Autores: Thomas Bailey, Cristian Cadar
Publicado en: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Editor: IEEE

Grammar Mutation for Testing Input Parsers (Registered Report)

Autores: Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
Publicado en: 2nd International Fuzzing Workshop (FUZZING 2023), 2023
Editor: ACM
DOI: 10.1145/3605157.3605170

Pending constraints in symbolic execution for better exploration and seeding

Autores: Timotej Kapus, Frank Busse, Cristian Cadar
Publicado en: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Página(s) 115-126, ISBN 9781450367684
Editor: ACM
DOI: 10.1145/3324884.3416589

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

Autores: Manuel Carrasco, Cristian Cadar, Alastair Donaldson
Publicado en: International Conference on Software Testing, Verification, and Validation (ICST 2025), 2025
Editor: IEEE

Peer reviewed articles (5)

Fuzzing: Challenges and Reflections

Autores: Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Publicado en: IEEE Software, Edición 38/3, 2021, Página(s) 79-86, ISSN 0740-7459
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

Software Security Analysis in 2030 and Beyond: A Research Roadmap

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

Grammar Mutation for Testing Input Parsers

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

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

Autores: Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Publicado en: Empirical Software Engineering, Edición 15737616, 2022, ISSN 1573-7616
Editor: Springer
DOI: 10.1007/s10664-022-10146-1

SaBRe: load-time selective binary rewriting

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