14
IRUS Total
Downloads

Past-sensitive pointer analysis for symbolic execution

File Description SizeFormat 
paper.pdfAccepted version1.07 MBAdobe PDFView/Open
Title: Past-sensitive pointer analysis for symbolic execution
Authors: Trabish, D
Kapus, T
Rinetzky, N
Cadar, C
Item Type: Conference Paper
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.
Issue Date: 1-Nov-2020
Date of Acceptance: 16-Jun-2020
URI: http://hdl.handle.net/10044/1/83370
DOI: 10.1145/3368089
ISBN: 9781450370431
Publisher: ACM
Start Page: 19
End Page: 208
Journal / Book Title: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Copyright Statement: © 2020 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Nov 2020) https://dl.acm.org/doi/10.1145/3368089.3409698
Sponsor/Funder: European Research Council (ERC)
Funder's Grant Number: 819141
Conference Name: European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Publication Status: Published
Start Date: 2020-11-06
Finish Date: 2020-11-16
Conference Place: Sacramento, California, United States (Virtual)
Appears in Collections:Computing
Faculty of Engineering