package goblint

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

An analysis specification to answer questions about how two expressions relate to each other.

Currently this works purely syntactically on the expressions, and only for =_must.

Does not keep state, this is only formulated as an analysis to integrate well into framework

OCaml

Innovation. Community. Security.