mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
Eric KilmerandBrad Larsen
704007e0c3
* Rewind cpu when ConcretizeArgument is raised in system call * Remove unused ConcretizeSyscallArgument * Add test for symbolic system call argument * Roll back PC during handling of ConcretizeArgument This accomplishes the same thing as before but now the movement is done in the parent state instead of children states * Statically link test executable * Use simple checkpoint and rollback for PC * Rework checkpoint and rollback in exception-handling * Create rollback function in State This is to make sure we don't miss anything when adding future values * Define only one local variable for exception data * Remove unused import * Less verbosity in test * Rollback in parent state instead of children states * Always rollback state on Concretize* * Use typing.NamedTuple Thank you @bradlarsen * Use local checkpoint variable We don't access checkpoint data anywhere else aside from the `execute` function * Add type hint to test Co-authored-by: Brad Larsen <[email protected]> * Use more specific language in test comment Co-authored-by: Brad Larsen <[email protected]> * Remove outdated function name in comment * Fix missed refactor * Remove unneeded testing changes after refactor Co-authored-by: Brad Larsen <[email protected]>