package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val at : Virtual_address.t -> t -> Directive.t Stdlib.Queue.t option

at va e returns the user-defined goals for this address. When no goals are defined is returned.

val has : t -> bool

has e is true if there are still some goals to deal with.

val update : Virtual_address.t -> Directive.t Stdlib.Queue.t -> t -> unit

update va a e replaces the action linked to va in e by a.

val get_store : t -> Directive.t Stdlib.Queue.t Virtual_address.Htbl.t
val extend_directive : Directive.t Stdlib.Queue.t Virtual_address.Htbl.t -> Virtual_address.Htbl.key -> Directive.t -> unit
val incr_todo : t -> unit
val remove : Virtual_address.t -> t -> unit
module Enumeration : sig ... end
OCaml

Innovation. Community. Security.