all InfoSec news
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. (arXiv:2304.07204v1 [cs.SE])
cs.CR updates on arXiv.org arxiv.org
Although existing techniques have proposed automated approaches to alleviate
the path explosion problem of symbolic execution, users still need to optimize
symbolic execution by applying various searching strategies carefully. As
existing approaches mainly support only coarse-grained global searching
strategies, they cannot efficiently traverse through complex code structures.
In this paper, we propose Eunomia, a symbolic execution technique that allows
users to specify local domain knowledge to enable fine-grained search. In
Eunomia, we design an expressive DSL, Aes, that lets users …
aes automated code complex code design domain dsl enable explosion global knowledge local path pinpoint precisely problem search support symbolic execution techniques webassembly