package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-cil-1.8.2.tbz
sha256=f4711e3fa53c482cdef2d7ed62b287d859ce55ef8b4ddfdc6071e81034c3bc89
sha512=8a861aa04aed7684a7c86207cfd5b63503984917fe53ae4866890242cb0db38d2c4f7bd5a5565fd094da064fb290e67071bae6874377e10d2005330c71cc13a2
doc/index.html
goblint-cil
API
Library goblint-cil
AlphaALPHA conversionBitmapCabsThis file was originally part of Hugues Casee's frontc 2.0, and has been * extensively changed since. ** ** 1.0 3.22.99 Hugues Cassé First version. ** 2.0 George Necula 12/12/00: Many extensions *Cabs2cilCabshelperCabsvisitCfgCode to compute the control-flow graph of a function or file. This will fill in thepredsandsuccsfields ofCil.stmtCheckCilCIL API Documentation.CilintCillowerA number of lowering passes over CILCiloptionsCiltoolsCilutilCilversionClexerClistUtilities for managing "concatenable lists" (clists). We often need to concatenate sequences, and using lists for this purpose is expensive. This module provides routines to manage such lists more efficiently. In this model, we never do cons or append explicitly. Instead we maintain the elements of the list in a special data structure. Routines are provided to convert to/from ordinary lists, and carry out common list operations.CparserCprintDataflowA framework for data flow analysis for CIL code. Before using this framework, you must initialize the Control-flow Graph for your program, e.g usingCfg.computeFileCFGDominatorsCompute dominators using data flow analysisErrormsgUtility functions for error-reportingEscapeExpcompareFeatureExtending CIL with external featuresFormatcilAn Interpreter for constructing CIL constructsFormatlexFormatparseFrontcGrowArrayArray operations.InthashLexerhackLibmaincilLongarrayMachdepMachdepenvMergecilPatchPrettyUtility functions for pretty-printing. The major features provided by this module areRmtmpsStatsUtilities for maintaining timing statisticsTraceUtilA bunch of generally useful functionsWhitetrack