package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
val 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.

val 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

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct