package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsse.ScriptSource

Sourcetype env = {
  1. wordsize : int;
  2. endianness : Binsec.Machine.endianness;
  3. define : Binsec.Dba.Var.t -> Lexing.position -> unit;
  4. origin : string -> Lexing.position option;
  5. lookup : string -> Binsec.Dba.LValue.t;
  6. lookup_symbol : string -> Binsec.Dba.Var.Tag.attribute -> Binsec.Dba.Expr.t;
}
Sourcetype 'a loc = 'a Binsec.Ast.loc
module Symbol : module type of Binsec.Ast.Symbol
module Loc : module type of Binsec.Ast.Loc
module Expr : module type of Binsec.Ast.Expr
module Instr : module type of Binsec.Ast.Instr
Sourcemodule Output : sig ... end
Sourcetype Binsec.Ast.Obj.t +=
  1. | Int of int
  2. | Int_list of int list
  3. | Format of Output.format
  4. | Output of Output.t
  5. | Output_list of Output.t list
  6. | String_list of string list
  7. | Key_val of string * string
  8. | Key_val_list of (string * string) list
  9. | Symbol_list of Symbol.t loc list
  10. | Loc_opt of Loc.t loc option
  11. | Loc_opt_list of Loc.t loc option list
  12. | Expr_opt of Expr.t loc option
  13. | Expr_list of Expr.t loc list
  14. | Named of Expr.t loc * string
  15. | Named_list of (Expr.t loc * string) list
Sourcetype Binsec.Ast.Instr.t +=
  1. | Argument of Loc.t loc * int
    (*

    lval := arg(i)

    *)
  2. | Return of Expr.t loc option
    (*

    return rval

    *)
  3. | Cut of Expr.t loc option
  4. | Print of Output.t
  5. | Reach of int * Expr.t loc option * Output.t list
  6. | Enumerate of int * Expr.t loc
  7. | Error of string
Sourcetype Binsec.Ast.t +=
  1. | Starting_from of Expr.t loc * Instr.t list
  2. | Starting_from_core of Instr.t list
  3. | Load_sections of string list
  4. | Load_data of Loc.t loc
  5. | Concretize_stack_pointer
  6. | Import_symbols of Symbol.t loc list * string
  7. | Hook of Expr.t loc list * Instr.t list * bool
  8. | Return_hook of Binsec.Ast.Symbol.t loc * Instr.t list
  9. | Decode of Binsec.Binstream.t * Instr.t list
  10. | Init of Instr.t list
  11. | Explore_all
Sourceval pp_options : Format.formatter -> (string * string) list -> unit
Sourceval pp_stmts : Format.formatter -> Binsec.Ast.Instr.t list -> unit
Sourceval register_pp : (Format.formatter -> Binsec.Ast.t -> bool) -> unit
Sourceval read_files : (unit, Libparser.obj, unit, unit, Libparser.obj Dyp.dyplexbuf) Dyp.dyp_action list list -> string list -> Binsec.Ast.t list
Sourceexception Inference_failure of Expr.t loc
Sourceexception Invalid_size of Expr.t loc * int * int
Sourceexception Invalid_operation of Expr.t loc
Sourceval eval_loc : ?size:int -> Loc.t loc -> env -> Binsec.Dba.LValue.t
Sourceval eval_expr : ?size:int -> Expr.t loc -> env -> Binsec.Dba.Expr.t
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