Home // SOFTENG 2016, The Second International Conference on Advances and Trends in Software Engineering // View article

Dynamic Symbolic Execution with Interpolation Based Path Merging

Authors:
Andreas Ibing

Keywords: Symbolic execution, interpolation, branch coverage, error coverage

Abstract:
This paper presents a dynamic symbolic execution engine for automated bug detection in C code. It uses path merging based on interpolation with unsatisfiable cores to mitigate the exponential path explosion problem. Code coverage can be scaled by varying the interpolation. An algorithm for error and branch coverage is described. The implementation extends Eclipse CDT. It is evaluated on buffer overflow test cases from the Juliet test suite in terms of speed-up through merging, reduction of the number of analyzed program paths and proportion of merged paths.

Pages: 133 to 139

Copyright: Copyright (c) IARIA, 2016

Publication date: February 21, 2016

Published in: conference

ISSN: 2519-8394

ISBN: 978-1-61208-458-9

Location: Lisbon, Portugal

Dates: from February 21, 2016 to February 25, 2016