Skip to main content

Program Analysis for Safe and Secure Software Evolution

Searching for OpenAIRE data...

Publications

Fuzzing: Challenges and Reflections

Author(s): Marcel Boehme, Cristian Cadar, Abhik ROYCHOUDHURY
Published in: IEEE Software, 38/3, 2021, Page(s) 79-86, ISSN 0740-7459
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2020.3016773

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

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

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