package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
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