package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97

sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e

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