package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type data

Information stored at each vertex.

val direction : Cfg.direction

The direction of the analysis.

val join : data -> data -> data

Operation how to join data when paths meet.

val equal : data -> data -> bool

Predicate to determine the fixpoint.

val analyze : E.t -> data -> data

The actual analysis of one edge; provided the edge and the incoming * data, it needs to compute the outgoing data.

OCaml

Innovation. Community. Security.