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 : Ast_util.uannot Ast.exp list -> Ast_util.uannot 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.