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 (19)

Authors

Maintainers

B

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

Sources

binsec-0.11.0.tbz

sha256=4cf70a0367fef6f33ee3165f05255914513ea0539b94ddfef0bd46fc9b42fa8a

sha512=cd67a5b7617f661a7786bef0c828ee55307cef5260dfecbb700a618be795d81b1ac49fc1a18c4904fd2eb8a182dc862b0159093028651e78e7dc743f5babf9e3

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.