package goblint-cil
A front-end for the C programming language that facilitates program analysis and transformation
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.8.0.tar.gz
md5=796ad26120b5c6b939a57e8623088aef
sha512=01a58ac6d928afead21c8a97af5865715114cd0562234d1d4aef9e4ac5d91415d040a15927c52cb896dbb39a53e915627f498ebe2d026a548c3ff597682041b2
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