package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (20)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.11.1.tbz

sha256=bb48234a4b60a872015a88282df4873f01dcc984753d49ad2583d49c1ae7d705

sha512=e8aa47a736b83bfd47d5b5e96d0988859b4873ad4a112fee7cd21d02bc72ecec61b7de610a959e38d2f2f5eef8082a2c100c201e5eae5ae3a880c747dce6ae63

doc/binsec_cli_bbsse/Binsec_cli_bbsse/G/index.html

Module `Binsec_cli_bbsse.G`Source

Source

val find_condition : 
  Binsec_cli_bbsse__.Types.Env.t ->
  Binsec.Virtual_address.t ->
  Binsec.Dba_types.Caddress.t * Binsec.Dba.Expr.t

find_condition state addr searches the full address and the test expression of a conditional branch instruction. It will fill the instruction storage and address predecessors if the address was not yet encountered.

parameter state
The global environment.

parameter addr
The address to search for conditional test.

returns
The address and the test of the conditional statement.

raises Not_found
Instruction at addr is not recognized as a conditional branch.

Source

val enumerate_path : 
  Binsec_cli_bbsse__.Types.Env.t ->
  int ->
  Binsec.Dba_types.Caddress.t ->
  (Binsec.Dba_types.Caddress.t * bool list * Binsec.Virtual_address.t list)
    list

enumerate_path state n addr returns the list of all paths of n basic blocks that reach the address addr.

parameter state
The global environment.

parameter n
The number of basic blocks to search backward.

parameter addr
The address to start the backward search.

returns
The list of all path that reach addr in n basic blocks.