package binsec

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

Parameters

module X : sig ... end

Signature

val analyze : (V.t -> X.data) -> t -> V.t -> X.data

analyze f g computes the fixpoint on the given graph using the work * list algorithm. Beware that a misconstructed Fixpoint will not terminate! * f is used to create the initial analysis data. The function returned is * a map to see what data was computed for which node. * * Beware of applying function analyze partially, to arguments f and g * only. The result is a function that is to be used to query the result of * the analysis.