package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val filemode : 'a -> bool -> bool -> bool -> ('a * (Dba_types.read_perm * Dba_types.write_perm * Dba_types.exec_perm)) * (Dba.Expr.t * Dba.Expr.t * Dba.Expr.t)
val checked_localized_instruction : Dba_types.Caddress.t -> Dba.Instr.t -> Dba_types.Caddress.t * Dba.Instr.t
val checked_cond_expr : Dba.Expr.t -> Dba.Expr.t
module Predicates : sig ... end
module Permissions : sig ... end