Module `Libsse.Script`Source

Sourcetype env = {

wordsize : int;
endianness : Binsec.Machine.endianness;
define : Binsec.Dba.Var.t -> Lexing.position -> unit;
origin : string -> Lexing.position option;
lookup : string -> Binsec.Dba.LValue.t;
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 +=

| Int of int
| Int_list of int list
| Format of Output.format
| Output of Output.t
| Output_list of Output.t list
| String_list of string list
| Key_val of string * string
| Key_val_list of (string * string) list
| Symbol_list of Symbol.t loc list
| Loc_opt of Loc.t loc option
| Loc_opt_list of Loc.t loc option list
| Expr_opt of Expr.t loc option
| Expr_list of Expr.t loc list
| Named of Expr.t loc * string
| Named_list of (Expr.t loc * string) list

Sourcetype Binsec.Ast.Instr.t +=

| Argument of Loc.t loc * int
(*
lval := arg(i)
*)
| Return of Expr.t loc option
(*
return rval
*)
| Cut of Expr.t loc option
| Print of Output.t
| Reach of int * Expr.t loc option * Output.t list
| Enumerate of int * Expr.t loc
| Error of string

Sourcetype Binsec.Ast.t +=

| Starting_from of Expr.t loc * Instr.t list
| Starting_from_core of Instr.t list
| Load_sections of string list
| Load_data of Loc.t loc
| Concretize_stack_pointer
| Import_symbols of Symbol.t loc list * string
| Hook of Expr.t loc list * Instr.t list * bool
| Return_hook of Binsec.Ast.Symbol.t loc * Instr.t list
| Decode of Binsec.Binstream.t * Instr.t list
| Init of Instr.t list
| 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 pp : Format.formatter -> Binsec.Ast.t -> unit

Source

val 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Script/index.html

Module `Libsse.Script`Source

package binsec

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Script/index.html

Module Libsse.ScriptSource

Module `Libsse.Script`Source