Module `Libsse.Fiber`Source

Sourcetype 'a t =

| Hook : {
1. addr : Binsec.Virtual_address.t;
2. info : string;
3. mutable succ : [ `All ] t;
} -> [< `Label | `All ] t
| Exec : {
1. addr : Binsec.Virtual_address.t;
2. info : string;
3. n : int;
4. others : (Binsec.Virtual_address.t * string) list;
5. mutable succ : [ `All ] t;
} -> [< `Label | `All ] t
| Assign : {
1. var : Libsse.Types.Var.t;
2. rval : Libsse.Types.Expr.t;
3. mutable succ : [ `All ] t;
} -> [< `All ] t
| Clobber : {
1. var : Libsse.Types.Var.t;
2. mutable succ : [ `All ] t;
} -> [< `All ] t
| Load : {
1. var : Libsse.Types.Var.t;
2. base : Types.A.t;
3. dir : Binsec.Machine.endianness;
4. addr : Libsse.Types.Expr.t;
5. mutable succ : [ `All ] t;
} -> [< `All ] t
| Store : {
1. base : Types.A.t;
2. dir : Binsec.Machine.endianness;
3. addr : Libsse.Types.Expr.t;
4. rval : Libsse.Types.Expr.t;
5. mutable succ : [ `All ] t;
} -> [< `All ] t
| Symbolize : {
1. var : Libsse.Types.Var.t;
2. mutable succ : [ `All ] t;
} -> [< `All ] t
| Assume : {
1. test : Libsse.Types.Expr.t;
2. mutable succ : [ `All ] t;
} -> [< `Assume | `All ] t
| Assert : {
1. test : Libsse.Types.Expr.t;
2. mutable succ : [ `All ] t;
} -> [< `Assert | `All ] t
| Branch : {
1. test : Libsse.Types.Expr.t;
2. mutable taken : [ `All ] t;
3. mutable fallthrough : [ `All ] t;
} -> [< `Branch | `All ] t
| Goto : {
1. addr : Binsec.Virtual_address.t;
2. mutable preds : (bool * [ `All ] t) list;
} -> [< `All ] t
| Jump : Libsse.Types.Expr.t -> [< `Jump | `All ] t
| Halt : [< `All ] t
| Probe : {
1. kind : Probe.t;
2. mutable succ : [ `All ] t;
} -> [< `Probe | `All ] t
| Cut : [< `All ] t
| Die : string -> [< `All ] t

Sourceval addr : [ `Label ] t -> Binsec.Virtual_address.t

val assign : 
  Binsec.Dba.LValue.t ->
  Binsec.Dba.Expr.t ->
  [ `All ] t ->
  [ `All ] t

Sourceval nondet : Binsec.Dba.LValue.t -> [ `All ] t -> [ `All ] t

Sourceval of_dhunk : Binsec.Dhunk.t -> [ `All ] t

Sourceval of_script : ?continue:[ `All ] t -> Script.Instr.t list -> [ `All ] t

Source

val mk_cut : 
  Binsec.Virtual_address.t ->
  string ->
  Libsse.Types.Expr.t option ->
  [ `All ] t ->
  [ `Label ] t

Source

val mk_assume : 
  Binsec.Virtual_address.t ->
  string ->
  Libsse.Types.Expr.t ->
  [ `All ] t ->
  [ `Label ] t

Source

val mk_assert : 
  Binsec.Virtual_address.t ->
  string ->
  Libsse.Types.Expr.t ->
  [ `All ] t ->
  [ `Label ] t

Source

val mk_reach : 
  Binsec.Virtual_address.t ->
  string ->
  int ->
  Libsse.Types.Expr.t option ->
  int ->
  Types.Output.t list ->
  [ `All ] t ->
  [ `Label ] t

Source

val mk_enumerate : 
  Binsec.Virtual_address.t ->
  string ->
  int ->
  Types.Output.format ->
  Libsse.Types.Expr.t ->
  int ->
  [ `All ] t ->
  [ `Label ] t

Sourceval relink : ?taken:bool -> pred:[ `All ] t -> [ `All ] t -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Libsse.Fiber`Source

package binsec

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Libsse.FiberSource

Module `Libsse.Fiber`Source