Symbolic execution with speculative library preloading recovers 29.8% more CFG nodes and 26.5% more edges than static analysis alone, with 100% precision and recall on library detection across 16 synthetic obfuscated benchmarks.
Cross- Architecture Bug Search in Binary Executables
1 Pith paper cite this work, alongside 308 external citations. Polarity classification is still indexing.
1
Pith paper citing it
308
external citations · OpenAlex
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
Symbolic execution with speculative library preloading recovers 29.8% more CFG nodes and 26.5% more edges than static analysis alone, with 100% precision and recall on library detection across 16 synthetic obfuscated benchmarks.