ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Thu 18 Jul 2019 17:07 - 17:30 at Grand Ballroom - APIs and Symbolic Execution Chair(s): Moonzoo Kim

Concretization is an effective weapon in the armory of symbolic execution engines. However, concretization can lead to loss in coverage, path divergence, and generation of test-cases on which the intended bugs are not reproduced. In this paper, we propose an algorithm, Deferred Concretization, that uses a new category for values within symbolic execution (referred to as the symcrete values) to pend concretization till they are actually needed. Our tool, COLOSSUS, built around these ideas, was able to gain an average coverage improvement of 66.94% and reduce divergence by more than 55% relative to the state-of-the-art symbolic execution engine, KLEE. Moreover, we found that KLEE loses about 38.60% of the states in the symbolic execution tree that COLOSSUS is able to recover, showing that COLOSSUS is capable of covering a much larger coverage space.

Thu 18 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Technical-Papers
16:00 - 17:30: Technical Papers - APIs and Symbolic Execution at Grand Ballroom
Chair(s): Moonzoo KimKAIST
issta-2019-Technical-Papers16:00 - 16:22
Talk
Maria KechagiaUniversity College London, Xavier DevroeyDelft University of Technology, Annibale PanichellaDeflt University of Technology, Georgios GousiosTU Delft, Arie van DeursenDelft University of Technology
DOI Pre-print Media Attached
issta-2019-Technical-Papers16:22 - 16:45
Talk
Mattia FazziniGeorgia Institute of Technology, Qi XinGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
issta-2019-Technical-Papers16:45 - 17:07
Talk
Haipeng CaiWashington State University Pullman, Ziyi Zhang, Li LiMonash University, Australia, Xiaoqin FuWashington State University
Pre-print
issta-2019-Technical-Papers17:07 - 17:30
Talk
Awanish PandeyIIT Kanpur, India, Phani Raj Goutham Kotcharlakota, Subhajit RoyIIT Kanpur, India