This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.
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.AnalysisState Global flags for analysis state.AnalysisStateUtil ControlSpecC Context module for the dynamically composed analysis.Printable Signature for comparable and outputtable elements. Functors for common printables.Basetype Printables and domains for some common types.Messages Messages (e.g. warnings) presented to the user about the program from the analysis.Timing Time measurement of computations.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.CilType Printables for CIL types.Cilfacade GoblintCil utilities.CilLocation RichVarinfo Custom GoblintCil.varinfo management.ContextUtil Goblint-specific C attribute handling.