Make (p.binsec.0.8.2.doc.binsec.sse.Libsse.Eval.Make)

binsec
- CHANGES
- LICENSE
- README
- Library binsec
  - Binsec
- Library binsec.amd64decoder
  - Amd64decoder
- Library binsec.armv7decoder
  - Armv7decoder
- Library binsec.armv8decoder
  - Armv8decoder
- Library binsec.domains
  - Domains
- Library binsec.parser
  - Libparser
- Library binsec.ppc64decoder
  - Ppc64decoder
- Library binsec.smt
  - Smt
- Library binsec.sse
  - Libsse
    - Dcode
    - Eval
      - Make
    - Exec
    - Fiber
    - Heuristic
    - Ir
    - Opt
    - Options
    - Path
    - Probe
    - Screen
    - Script
    - Stats
    - Types
- Library binsec.sse_register
  - Sse
- Library checkct
  - Checkct
- Library libformula
  - Libformula
- Library libterm
  - Libterm
- Library shadow_stack
  - Shadow_stack
- Sources

Parameters

module Path : Path.S

module State : Types.STATE

Signature

val uop : 
  Binsec.Dba.Expr.t ->
  Binsec.Dba.Unary_op.t ->
  Binsec.Term.unary Binsec.Term.operator

Sourceval bop : Binsec.Dba.Binary_op.t -> Binsec.Term.binary Binsec.Term.operator

Sourceval eval : Libsse.Types.Expr.t -> State.t -> State.Value.t

Sourceval fresh : Binsec.Dba.Var.t -> State.t -> Path.t -> State.t

Source

val safe_eval : 
  Libsse.Types.Expr.t ->
  State.t ->
  Path.t ->
  State.Value.t * State.t

Sourceval get_value : Libsse.Types.Expr.t -> State.t -> Path.t -> Binsec.Bitvector.t

Sourceval assume : Libsse.Types.Expr.t -> State.t -> Path.t -> State.t option

Source

val test : 
  Libsse.Types.Expr.t ->
  State.t ->
  Path.t ->
  State.t Libsse__Types.test

Source

val split_on : 
  Libsse.Types.Expr.t ->
  ?n:int ->
  ?except:Binsec.Bitvector.t list ->
  State.t ->
  Path.t ->
  (Binsec.Bitvector.t * State.t) list

Source

val assign : 
  Binsec.Dba.Var.t ->
  Libsse.Types.Expr.t ->
  State.t ->
  Path.t ->
  State.t

Source

val read : 
  addr:Libsse.Types.Expr.t ->
  int ->
  Binsec.Machine.endianness ->
  State.t ->
  Path.t ->
  State.Value.t * State.t

Source

val write : 
  addr:Libsse.Types.Expr.t ->
  Libsse.Types.Expr.t ->
  Binsec.Machine.endianness ->
  State.t ->
  Path.t ->
  State.t

Source

val select : 
  string ->
  addr:Libsse.Types.Expr.t ->
  int ->
  Binsec.Machine.endianness ->
  State.t ->
  Path.t ->
  State.Value.t * State.t

Source

val store : 
  string ->
  addr:Libsse.Types.Expr.t ->
  Libsse.Types.Expr.t ->
  Binsec.Machine.endianness ->
  State.t ->
  Path.t ->
  State.t