package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=81859d54721969893aabcb5b16ff41d0698f8c24799d8357ec7b1c10cd5ebf94

sha512=580561e70189b3c77bf09364ad393750263b5cfb36dce01aa7cd34ea4d4ebcc9085a52f18b7514e4046d51b488f2dfc5271aea8259c7cbce1534b880cf76bb6e

Sourcetype builtin = ..

Sourcetype fallthrough =

| Nop
| Debug of string
| Print of Types.Output.t
| Instruction of Binsec.Instruction.t
| Hook of {
1. addr : Binsec.Virtual_address.t;
2. info : string;
}
| Assign of {
1. var : Libsse.Types.Var.t;
2. rval : Libsse.Types.Expr.t;
}
| Clobber of Libsse.Types.Var.t
| Forget of Libsse.Types.Var.t
| Load of {
1. var : Libsse.Types.Var.t;
2. base : Types.A.t;
3. dir : Binsec.Machine.endianness;
4. addr : Libsse.Types.Expr.t;
}
| Store of {
1. base : Types.A.t;
2. dir : Binsec.Machine.endianness;
3. addr : Libsse.Types.Expr.t;
4. rval : Libsse.Types.Expr.t;
}
| Symbolize of Libsse.Types.Var.t
| Assume of Libsse.Types.Expr.t
| Assert of Libsse.Types.Expr.t
| Enumerate of {
1. enum : Libsse.Types.Expr.t;
2. tid : int;
3. format : Types.Output.format;
4. n : int;
}
| Reach of {
1. tid : int;
2. n : int;
3. guard : Libsse.Types.Expr.t;
4. actions : Types.Output.t list;
}
| Builtin of builtin

Sourcetype terminator =

Sourcetype node =

| Fallthrough of {
1. kind : fallthrough;
2. succ : int;
}
| Branch of {
1. test : Libsse.Types.Expr.t;
2. target : int;
3. fallthrough : int;
}
| Goto of {
1. target : Binsec.Virtual_address.t;
2. tag : Binsec.Dba.tag;
3. succ : int option;
}
| Terminator of terminator

Sourceval pp_probe : Format.formatter -> 'a -> unit

Sourceval pp_fallthrough : Format.formatter -> fallthrough -> unit

Sourceval register_builtin_pp : (Format.formatter -> builtin -> bool) -> unit

Sourceval pp_terminator : Format.formatter -> terminator -> unit

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

Sourceval shuffle : (int -> int) -> node -> node

Sourcemodule type GRAPH = sig ... end