Module Binsec_cli_bbsse.GSource

Sourceval 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.

Sourceval 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.