Program Analysis for Safe and Secure Software Evolution

Project Information

PASS

Grant agreement ID: 819141

DOI 10.3030/819141

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

Publications

Conference proceedings (6)

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

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

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

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

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

Peer reviewed articles (3)

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

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