package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af
doc/common.html
Library goblint.common
This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib
which also documents these modules.
Framework
CFG
Node
CFG node. Corresponds to a program point between program statements.Edge
CFG edge. Corresponds to a (primitive) program statement between program points (and their states).MyCFG
Control-flow graph.CfgTools
Construction and output of CFGs.
Specification
AnalysisState
Global flags for analysis state.AnalysisStateUtil
ControlSpecC
Context module for the dynamically composed analysis.
Domains
Printable
Signature for comparable and outputtable elements. Functors for common printables.
Analysis-specific
Other
Basetype
Printables and domains for some common types.
I/O
Messages
Messages (e.g. warnings) presented to the user about the program from the analysis.
Utilities
Timing
Time measurement of computations.
General
IntOps
Unified interface for integer types.LazyEval
Lazy evaluation with a fixed function. Allows marshaling.ResettableLazy
Lazy type which can be reset to a closure.MessageUtil
Terminal color utilities.XmlUtil
XML utilities.
CIL
CilType
Printables for CIL types.Cilfacade
GoblintCil
utilities.CilLocation
RichVarinfo
CustomGoblintCil.varinfo
management.
Analysis-specific
ContextUtil
Goblint-specific C attribute handling.
Library extensions
Standard library
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page