package libsail

  1. Overview
  2. Docs
val opt_nl_flow : bool ref

opt_nl_flow must be true for analyze to do anything.

val analyze : unit Ast.exp list -> unit Ast.exp list

Analyze a basic block for flow typing properties that do not follow the lexical structure of the code (and therefore the syntax-directed typing rules), and insert assertions for discovered constraints

OCaml

Innovation. Community. Security.