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_matched : matched Core_kernel.Bin_prot.Type_class.t
val bin_read_matched : matched Core_kernel.Bin_prot.Read.reader
val __bin_read_matched__ : (int -> matched) Core_kernel.Bin_prot.Read.reader
val bin_reader_matched : matched Core_kernel.Bin_prot.Type_class.reader
val bin_size_matched : matched Core_kernel.Bin_prot.Size.sizer
val bin_write_matched : matched Core_kernel.Bin_prot.Write.writer
val bin_writer_matched : matched Core_kernel.Bin_prot.Type_class.writer
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_t : t Core_kernel.Bin_prot.Type_class.t
val bin_read_t : t Core_kernel.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core_kernel.Bin_prot.Read.reader
val bin_reader_t : t Core_kernel.Bin_prot.Type_class.reader
val bin_size_t : t Core_kernel.Bin_prot.Size.sizer
val bin_write_t : t Core_kernel.Bin_prot.Write.writer
val bin_writer_t : t Core_kernel.Bin_prot.Type_class.writer
val bin_shape_t : Core_kernel.Bin_prot.Shape.t
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

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