package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Empty_worklist
val choose : t -> t * Bbsse_types.Path_state.t

choose_path e pops a new path p from environment e, and returns both the path and the environment without this path.

val add : Bbsse_types.Path_state.t -> t -> t

add_path p e register path p in the worlist of environment e.

OCaml

Innovation. Community. Security.