| |
Deferred Concretization in Symbolic Execution via Fuzzing
|
Speaker (s):
Subhajit Roy
Associate Professor
Computer Science and Engineering
Indian Institute of Technology Kanpur
|
|
Date:
Time:
Venue:
|
|
14 July 2022, Thursday
2:00pm - 3:00pm
SCIS Meeting Room 3.1, Level 3,
School of Computing and Information Systems,
Singapore Management University,
80 Stamford Road, Singapore 178902
Please register by 13 July 2022.
We look forward to seeing you at this research seminar.
|
|
About the Talk
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.
About the Speaker
Subhajit is an Associate Professor at the Indian Institute of Technology Kanpur. His interests are in program synthesis, automated debugging, testing, and verification.
|
