package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (9)

Authors

Maintainers

Sources

goblint-2.6.0.tbz

sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41

sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71

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

Module `Goblint_lib.WideningDelay`

Standard widening delay with counters.

Abstract elements are paired with an integer counter, indicating how many times it has been widened. Lifted abstract elements are only widened if the counter exceeds a predefined limit.

module LocalChainParams : Printable.ChainParams

module GlobalChainParams : Printable.ChainParams

module Dom
  (Base : Lattice.S)
  (ChainParams : Printable.ChainParams) : 
  sig ... end

module DLifter (S : Analyses.Spec) : Analyses.Spec

Lift S to use widening delay for local states.

module GLifter (S : Analyses.Spec) : Analyses.Spec

Lift S to use widening delay for global unknowns.