Binsec_codex_lib.Dba2Codex
module VarMap : Stdlib.Map.S with type key = string
type jump_target =
| Jump_Inner of Binsec.Dba.id
Some instruction in a block
| Jump_Outer of Binsec.Virtual_address.t
Some instruction outside of the block.
| Jump_Dynamic
module Ctypes = Types.Ctypes
module type Address_sig = sig ... end
module type RegionS = sig ... end
module type StateS = sig ... end
module Create () : sig ... end