package goblint
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
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.
Specification
AnalysisState
Global flags for analysis state.ControlSpecC
Context module for the dynamically composed analysis.
Configuration
GobConfig
Configuration access.AfterConfig
Hooks which run after the runtime configuration is fully loaded.JsonSchema
JSON schema validation.Options
src/common/util/options.schema.json
low-level access.
Domains
Printable
Signature for comparable and outputtable elements. Functors for common printables.Lattice
Signature for lattices. Functors for common lattices.
Analysis-specific
Other
Basetype
Printables and domains for some common types.
I/O
Utilities
Timing
Time measurement of computations.
General
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.RichVarinfo
CustomGoblintCil.varinfo
management.
Library extensions
Standard library
Other libraries
MyCheck
QCheck
extensions.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page