Skip to content

Commit

Permalink
Merge pull request angr#173 from jvoisin/fix_typo
Browse files Browse the repository at this point in the history
Fix a typo in simprocedures.md
  • Loading branch information
rhelmot authored Jan 13, 2018
2 parents 262462c + 6bb0360 commit a0521d7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/simprocedures.md
Original file line number Diff line number Diff line change
Expand Up @@ -196,7 +196,7 @@ If the length argument is omitted or set to zero, execution will resume executin
The `Ijk_NoHook` jumpkind allows this to happen.

If you want more control over control flow coming out of a user hook, you can return a list of successor states.
Each successor will be expected to have `state.regs.ip`, state.scratch.guard`, and `state.scratch.jumpkind` set.
Each successor will be expected to have `state.regs.ip`, `state.scratch.guard`, and `state.scratch.jumpkind` set.
The IP is the target instruction pointer, the guard is a symbolic boolean representing a constraint to add to the state related to it being taken as opposed to the others, and the jumpkind is a VEX enum string, like `Ijk_Boring`, representing the nature of the branch.

The general rule is, if you want your SimProcedure to either be able to extract function arguments or cause a program return, write a full SimProcedure class.
Expand Down

0 comments on commit a0521d7

Please sign in to comment.