package libsail

  1. Overview
  2. Docs
val opt_nl_flow : bool Stdlib.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


Innovation. Community. Security.