Combining static analysis error traces with dynamic symbolic execution (experience paper)
This paper reports on our experience implementing a technique for sifting through static
analysis reports using dynamic symbolic execution. Our insight is that if a static analysis tool …
analysis reports using dynamic symbolic execution. Our insight is that if a static analysis tool …
State Merging with Quantifiers in Symbolic Execution
We address the problem of constraint encoding explosion which hinders the applicability of
state merging in symbolic execution. Specifically, our goal is to reduce the number of …
state merging in symbolic execution. Specifically, our goal is to reduce the number of …
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
D Schemmel, J Büning, F Busse, M Nowack… - Proceedings of the 32nd …, 2023 - dl.acm.org
The memory allocator can have an important impact in symbolic execution. Taking a user-
centric view, this tool demonstration paper discusses some of the main benefits provided by …
centric view, this tool demonstration paper discusses some of the main benefits provided by …
Towards Effective Symbolic Execution
M Nowack - 2024 - tud.qucosa.de
Abstract (EN) Symbolic execution is an effective method to analyse an application's
properties thoroughly, based on the idea of analysing every control flow path an application …
properties thoroughly, based on the idea of analysing every control flow path an application …
[PDF][PDF] KDAlloc: The KLEE Deterministic Allocator
The memory allocator can have an important impact in symbolic execution. Taking a user-
centric view, this tool demonstration paper discusses some of the main bene ts provided by …
centric view, this tool demonstration paper discusses some of the main bene ts provided by …