package cbat-vsa

  1. Overview
  2. Docs
val fixpoint : (module Graphlib.Std.Graph with type node = 'n and type t = 'c) -> ?steps:int -> ?start:'n -> ?rev:bool -> ?step:(int -> 'n -> 'd -> 'd -> 'd) -> init:('n, 'd) Graphlib.Std.Solution.t -> equal:('d -> 'd -> bool) -> merge:('d -> 'd -> 'd) -> f:(source:'n -> 'd -> target:'n -> 'd) -> 'c -> ('n, 'd) Graphlib.Std.Solution.t

An extension of the BAP fixpoint function that supports context-sensitive analysis.

OCaml

Innovation. Community. Security.