package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0

doc/goblint.lib/Goblint_lib/ExpRelation/index.html

Module Goblint_lib.ExpRelation

Stateless symbolic comparison expression analysis (expRelation).

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 the framework.

OCaml

Innovation. Community. Security.