package cbat-vsa

You can search for identifiers within the package.

in-package search v0.2.0

cbat-plugin-value-set
- Cbat_value_set_plugin
  - Cmdline
  - Config
cbat-value-set

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.