Module `Binsec_sse_loader.Ir`Source

Sourcetype builtin = ..

Sourcetype builtin +=

Sourceval pp_builtin : Stdlib.Format.formatter -> builtin -> unit

val register_builtin_printer : 
  (Stdlib.Format.formatter -> builtin -> bool) ->
  unit

Sourcetype 'a opcode =

| Nop : [ `Fallthrough ] opcode
| Instruction : Binsec_kernel.Instruction.t -> [< `Label | `Fallthrough ] opcode
| Hook : {
1. addr : Binsec_kernel.Virtual_address.t;
2. info : string;
} -> [< `Label | `Fallthrough ] opcode
| Assign : {
1. var : Binsec_kernel.Dba.Var.t;
2. rval : Binsec_kernel.Dba.Expr.t;
} -> [ `Fallthrough ] opcode
| Clobber : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
| Forget : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
| Load : {
1. var : Binsec_kernel.Dba.Var.t;
2. base : string option;
3. dir : Binsec_kernel.Machine.endianness;
4. addr : Binsec_kernel.Dba.Expr.t;
} -> [ `Fallthrough ] opcode
| Store : {
1. base : string option;
2. dir : Binsec_kernel.Machine.endianness;
3. addr : Binsec_kernel.Dba.Expr.t;
4. rval : Binsec_kernel.Dba.Expr.t;
} -> [ `Fallthrough ] opcode
| Symbolize : Binsec_kernel.Dba.Var.t -> [ `Fallthrough ] opcode
| Assume : Binsec_kernel.Dba.Expr.t -> [ `Fallthrough ] opcode
| Assert : Binsec_kernel.Dba.Expr.t -> [ `Fallthrough ] opcode
| Builtin : builtin -> [< `Fallthrough | `Terminator ] opcode
| Goto : {
1. target : Binsec_kernel.Virtual_address.t;
2. tag : Binsec_kernel.Dba.tag;
} -> [< `Fallthrough | `Terminator ] opcode
| Jump : {
1. target : Binsec_kernel.Dba.Expr.t;
2. tag : Binsec_kernel.Dba.tag;
} -> [ `Terminator ] opcode
| Halt : [ `Terminator ] opcode
| Cut : [ `Terminator ] opcode
| Die : string -> [ `Terminator ] opcode

Sourceand label = [ `Label ] opcode

Sourceand fallthrough = [ `Fallthrough ] opcode

Sourceand terminator = [ `Terminator ] opcode

Sourceval pp_opcode : Stdlib.Format.formatter -> 'a opcode -> unit

Sourcetype node =

| Fallthrough of {
1. label : label;
2. kind : fallthrough;
3. succ : int;
}
| Branch of {
1. label : label;
2. test : Binsec_kernel.Dba.Expr.t;
3. target : int;
4. fallthrough : int;
}
| Terminator of {
1. label : label;
2. kind : terminator;
}

Sourceval pp_node : Stdlib.Format.formatter -> node -> unit

Sourceval label_of : node -> label

Sourcetype stmt =

Sourcemodule type GRAPH = sig ... end

Sourcemodule type INSTRUMENT = sig ... end

Sourcemodule View : GRAPH

Sourcemodule Graph : sig ... end

Sourcemodule Killset : sig ... end

Install