package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Assert_failure of Dba_types.Statement.t
exception Assume_failure of string
exception Assignment_size_conflict of string
exception Regions_conflict of string
exception Bad_region of string
exception Bad_bound of string
exception Undeclared_variable of string
exception Uninitialized_variable of string
exception Bad_address_size
exception Bad_exp_size
exception Bad_condition of string
exception Operands_size_conflict of string
exception Unbound_region_element of string
exception Alternative_conflict_values
exception Unknown_value of string
exception Bad_concat of string
exception Freed_variable_access
exception Invalid_address of string
exception Invalid_free_address
exception Invalid_free_region
exception Read_permission_denied
exception Write_permission_denied
exception Exec_permission_denied
exception Size_error of string
exception Nonhomogeneous_sizes
exception Invalid_top_argument of string
exception Enumerate_Top
exception Stop_Unsupported of string
exception Empty_env
exception Div_by_zero
exception Mismatched_instruction_size of Dba.Instr.t
exception Mismatched_address_size of Dba.address
val invalid_address : string -> 'a

Constructors

val not_yet_implemented : string -> 'a
val mismatched_instruction_size : Dba.Instr.t -> 'a
val mismatched_address_size : Dba.address -> 'a
val assert_failure : Dba.address -> Dba.Instr.t -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct