Skip to content
This repository has been archived by the owner on Apr 28, 2023. It is now read-only.

Commit

Permalink
history has no guards property. it actually has jump_guards. (#259)
Browse files Browse the repository at this point in the history
  • Loading branch information
saullocarvalho authored and ltfish committed May 8, 2019
1 parent 8b47cd9 commit 842715e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/states.md
Expand Up @@ -207,7 +207,7 @@ Here is a brief listing of some of the values stored in the history:
- `history.bbl_addrs` is a listing of the basic block addresses executed by the state.
There may be more than one per round of execution, and not all addresses may correspond to binary code - some may be addresses at which SimProcedures are hooked.
- `history.jumpkinds` is a listing of the disposition of each of the control flow transitions in the state's history, as VEX enum strings.
- `history.guards` is a listing of the conditions guarding each of the branches that the state has encountered.
- `history.jump_guards` is a listing of the conditions guarding each of the branches that the state has encountered.
- `history.events` is a semantic listing of "interesting events" which happened during execution, such as the presence of a symbolic jump condition, the program popping up a message box, or execution terminating with an exit code.
- `history.actions` is usually empty, but if you add the `angr.options.refs` options to the state, it will be populated with a log of all the memory, register, and temporary value accesses performed by the program.

Expand Down

0 comments on commit 842715e

Please sign in to comment.