Skip to content
Symbolic Path Merging in Manticore
blog.trailofbits.com | blog | #research | #program-analysis | #symbolic-execution | #manticore | #state-merging
Summary
A winternship project explores state merging in Manticore: merging similar symbolic states at one program location cut explored paths by 33% in a test, easing symbolic execution's path explosion.
- Published
- Collected