Imperial College London
Professor Cristian Cadar

ProfessorCristianCadar

Faculty of Engineering, Department of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Busse:2020:10.1145/3395363.3397360,
author = {Busse, F and Nowack, M and Cadar, C},
doi = {10.1145/3395363.3397360},
pages = {63--74},
publisher = {ACM},
title = {Running symbolic execution forever},
url = {http://dx.doi.org/10.1145/3395363.3397360},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - When symbolic execution is used to analyse real-world applications,it often consumes all available memory in a relatively short amountof time, sometimes making it impossible to analyse an applicationfor an extended period. In this paper, we present a technique thatcan record an ongoing symbolic execution analysis to disk andselectively restore paths of interest later, making it possible to runsymbolic execution indefinitely.To be successful, our approach addresses several essential re-search challenges related to detecting divergences on re-execution,storing long-running executions efficiently, changing search heur-istics during re-execution, and providing a global view of the storedexecution. Our extensive evaluation of 93 Linux applications showsthat our approach is practical, enabling these applications to runfor days while continuing to explore new execution paths.
AU  - Busse,F
AU  - Nowack,M
AU  - Cadar,C
DO  - 10.1145/3395363.3397360
EP  - 74
PB  - ACM
PY  - 2020///
SP  - 63
TI  - Running symbolic execution forever
UR  - http://dx.doi.org/10.1145/3395363.3397360
UR  - https://dl.acm.org/doi/abs/10.1145/3395363.3397360
UR  - http://hdl.handle.net/10044/1/79551
ER  -
Download