Analysis_settings.MAKE
module Reg : Arch_settings.Registers
module State : Dba2Codex.StateS
module Record_cfg : Record_cfg.S
module State = State
module Record_cfg = Record_cfg
type skip =
| SkipTo of skip_type * Binsec.Virtual_address.t
skip to address
*)| Hook of Record_cfg.t ->
State.t ->
Record_cfg.t * (Binsec.Virtual_address.t * State.t) list
Manually change the transfer function of an instruction.
*)| ChangeState of State.t -> State.t
Modifies the state before executing the corresponding instruction.
*)| Unroll of int
Unroll every loop having this address as its head. Argument: number of iterations.
*)| EndPath
End this trace
*)val skip_table : (skip * string) Addr_tbl.t
Says whether the analysis should be "merge over all paths" only. Initially false.
Add a hook to say that we should stop at this address.
val add_return_unknown : Binsec.Virtual_address.t -> Types.Ctypes.typ -> unit
Add a hook to a function address to say that the function should return and just return a value of some type.