@inproceedings{9e4775b5f3874d03b7973c333cef9adc,
title = "Past-sensitive pointer analysis for symbolic execution",
abstract = "We propose a novel fine-grained integration of pointer analysis with dynamic analysis, including dynamic symbolic execution. This is achieved via past-sensitive pointer analysis, an on-demand pointer analysis instantiated with an abstraction of the dynamic state on which it is invoked. We evaluate our technique in three application scenarios: chopped symbolic execution, symbolic pointer resolution, and write integrity testing. Our preliminary results show that the approach can have a significant impact in these scenarios, by effectively improving the precision of standard pointer analysis with only a modest performance overhead.",
keywords = "Pointer Analysis, Symbolic Execution",
author = "David Trabish and Timotej Kapus and Noam Rinetzky and Cristian Cadar",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020 ; Conference date: 08-11-2020 Through 13-11-2020",
year = "2020",
month = nov,
day = "8",
doi = "https://doi.org/10.1145/3368089.3409698",
language = "الإنجليزيّة",
series = "ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
pages = "197--208",
editor = "Prem Devanbu and Myra Cohen and Thomas Zimmermann",
booktitle = "ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
}