binsec.sse
Make.E
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
val lookup : string -> int -> Binsec.Dba.LValue.t
val lookup_symbol : string -> Binsec.Dba.VarTag.attribute -> Binsec.Dba.Expr.t
val wordsize : int
val endianness : Binsec.Machine.endianness