package bap-veri

  1. Overview
  2. Docs
package bap-veri
Legend:
Library
Module
Module type
Parameter
Class
Class type
type events = Bap.Std.Value.Set.t
type rule = Veri_rule.t
module Matched : sig ... end
type matched = Matched.t
val __bin_read_matched__ : (int -> matched) Core_kernel.Bin_prot.Read.reader
val bin_shape_matched : Core_kernel.Bin_prot.Shape.t
val compare_matched : matched -> matched -> int
val matched_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> matched
val sexp_of_matched : matched -> Ppx_sexp_conv_lib.Sexp.t
type t
val __bin_read_t__ : (int -> t) Core_kernel.Bin_prot.Read.reader
val compare : t -> t -> int
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val empty : t
val add : t -> rule -> t
val match_events : rule -> string -> events -> events -> matched option

match events rule insn left right

val denied : t -> string -> events -> events -> (rule * matched) list

denied policy insn left right