package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Fold_const_failed
val fold_expr : Dba.Expr.t -> Bitvector.t
val of_vaddr : Virtual_address.t -> Dba.Expr.t
val eval_from_img : Loader.Img.t -> Dba.Expr.t -> Bitvector.t
val eval_addr_from_img : Loader.Img.t -> Dba.Expr.t -> Virtual_address.t
val complement : Dba.Expr.t -> lo:int -> hi:int -> Dba.VarTag.t Dba.var -> Dba.Expr.t

complement e lo hi v return the expression e' such as vhi .. lo := e <=> v := e'

val bswap : Dba.Expr.t -> Dba.Expr.t

bswap e reverses the byte order of e