package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception RestartAnalysis

Restarts the analysis from scratch in Control. Its raiser is expected to have modified modified some global state to do a more precise analysis next time. For example: 1. Add information to global variable that is used in transfer functions. 2. Activate more analyses (see Witness). 3. Make more analyses path-sensitive (see Witness). 4. Register (and activate) new analyses dynamically (see Witness).

OCaml

Innovation. Community. Security.