mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
Jim Posen
8fcdf0dc1f
* Fix typos. * Create StackItem type alias. * New failing tests demonstrating Wasm branching bugs. The issue is that the Wasm symbolic execution engine concretizes the integer input to branching instructions. Aside frome being inefficient, the concretization logic prevents forking into more than a small number of values and silently skips exploration of other values. * Fix for wasm if and br_if execution. The engine raises a ConcretizeCondition exception to determine the branch path and constrain the state minimally. * Remove unnecessary bitwise AND. It's unnecessary because c_int32 truncates to 32 bits and it's weird because this bitwise and isn't there for I64. * Failing tests demonstrating bug in br_table and call_indirect. * Fix bugs with br_table and call_indirect using concrete conditions. * Fix typing errors. * Try to get wasm tests passing. * Move advice conditions from Stack to separate structure. * Fix so that multiple conditions may be concretized. * Update incorrect comment on StateBase.concretize. * Appease type checker.