package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

sha256=94090e05906c7a0559f60d2c65dbe167eb5953a2338b958b71911c1c81dd9ffd

sha512=6f52f8918c3c242f1346ebdc244f80744966112b935e00519e5d4d5acc040f8e2d2c54ff6b172cf5eb34b9bf7366de085605de88fcc15c43f34abce39ed34220

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