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