package binsec

  1. Overview
  2. Docs

Module Dhunk.CheckSource

Sourceval has_inbound_inner_jumps : t -> bool

has_inbound_inner_jumps dh checks a hunk only has well-behaved inner jumps, i.e. to an index that is defined inside this hunk.

Sourceval no_undeclared_variables : Dba_types.Declarations.t -> t -> bool

no_undeclared_variables decls dh checks that the hunk dh only uses well-declared variables w.r.t. to decls

Sourceval no_temporary_leak : t -> bool

no_temporary_leak b checks the invariant that a block must always (re)define a temporary before using it. This guarantees that no assumption is made on the block sequences and that no "leaked" information from another block is used inside a block.

  • returns

    true if that is the case.