Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Mon 20 Jul 2020 12:50 - 13:10 at Zoom - SYMBOLIC EXECUTION AND CONSTRAINT SOLVING Chair(s): Marcelo d'Amorim

When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we present a technique that can record an ongoing symbolic execution analysis to disk and selectively restore paths of interest later, making it possible to run symbolic execution indefinitely.

To be successful, our approach addresses several essential research challenges related to detecting divergences on re-execution, storing long-running executions efficiently, changing search heuristics during re-execution, and providing a global view of the stored execution. Our extensive evaluation of 93 Linux applications shows that our approach is practical, enabling these applications to run for days while continuing to explore new execution paths.

Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California change

12:10 - 13:10: SYMBOLIC EXECUTION AND CONSTRAINT SOLVINGTechnical Papers at Zoom
Chair(s): Marcelo d'AmorimFederal University of Pernambuco

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10 - 12:30
Talk
Technical Papers
Yao PeisenHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology
DOI
12:30 - 12:50
Talk
Technical Papers
David TrabishTel Aviv University, Noam RinetzkyTel Aviv University
DOI Pre-print Media Attached
12:50 - 13:10
Talk
Technical Papers
Frank BusseImperial College London, Martin NowackImperial College London, Cristian CadarImperial College London
DOI Pre-print Media Attached