European Commission logo
English English
CORDIS - EU research results
CORDIS

Program Analysis for Safe and Secure Software Evolution

Publications

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

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available