package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=87d4048c9a90c8a14ee029e77d31032a15427f06416a31938cec8a68394234c4

sha512=6a023d2a5c87c56b0aac489874431d8dcccee1451a072a826190be3a7f75a961688bab95f193f494231744abc3bc9733ab5c809057d36a5e4d24c6c29c369144

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