chc.app package

Application coordination and main data types.

chc.app.AssignDictionaryRecord

chc.app.CApplication

Main access point to the analysis of a C application.

chc.app.CAttributes

Object representation of CIL attrparam sum type.

chc.app.CCompInfo

Definition of a struct/union.

chc.app.CConst

Object representation of CIL constant sum type.

chc.app.CContext

Structural context description to locate a program entity.

chc.app.CContextDictionary

Dictionary for program context specifications.

chc.app.CDeclarations

Abstract super class for CGlobalDeclarations and CFileDeclarations.

chc.app.CDictionary

Abstract superclass for CGlobalDictionary and CFileDictionary.

chc.app.CDictionaryRecord

Base class for items in CDictionary and CDeclarations.

chc.app.CEnumInfo

Enum declaration data.

chc.app.CEnumItem

Enum item declaration data.

chc.app.CExp

Object representation of CIL expression sum type.

chc.app.CFieldInfo

Type and layout of a struct or union field.

chc.app.CFile

C-file main access point.

chc.app.CFileAssignment

Object representation of sum type assignment_t.

chc.app.CFileAssignmentDictionary

Dictionary of global and field assignments.

chc.app.CFileDeclarations

Declarations at the file level.

chc.app.CFileDictionary

Dictionary of types and expressions at the file level.

chc.app.CFileGlobals

Global definitions in a c-file.

chc.app.CFunDeclarations

Local variable declarations at the function level.

chc.app.CFunction

Main access point for a c function.

chc.app.CGXrefs

Cross references between variable and struct definitions in different files.

chc.app.CGlobalDeclarations

Declarations of global entities across files.

chc.app.CGlobalDictionary

Dictionary of global entities across files.

chc.app.CHVersion

chc.app.CInitInfo

Initializer of global variables.

chc.app.CInstr

C instruction (assignment, call, or inserted assembly code).

chc.app.CLHost

Left-hand side base (storage location for variable).

chc.app.CLocation

Location in a C source file (filename, line number).

chc.app.CLval

Left-hand side value.

chc.app.COffset

Object representation for CIL offset sum type.

chc.app.CStmt

Control flow element in a function.

chc.app.CTyp

Variant type for the CIL typ data type.

chc.app.CTypeInfo

Global type definition.

chc.app.CTypsig

Type signature used in attributes.

chc.app.CVarInfo

Variable definition.

chc.app.IndexManager

Global variable and struct definition relationships between files.

Submodules