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 (10)

Authors

Maintainers

Sources

goblint-2.7.1.tbz

sha256=af01aac256229f33a90a9fcbfed04b01e3097f154d4d124f006476d6387c6a66

sha512=2a93bfe16881adbc2d8dcbfe38c1e19cd24ca105d8e1eda13d02440f3002874ffe2957dfd937510765233a054a40568b0052db92e31d382a5bd215d1ec12565c

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.