chc.app.CFileAssignment module

Base class and subclasses:

chc.app.CFileAssignment.CFileAssignment(ad, ...)

Base class for all assignment objects.

chc.app.CFileAssignment.InitAssignment(ad, ixval)

Static initializer assignment.

chc.app.CFileAssignment.GlobalAssignment(ad, ...)

Global assignment within a function.

chc.app.CFileAssignment.GlobalIndexAssignment(ad, ...)

Assignment to an array element of a global array.

chc.app.CFileAssignment.StaticAssignment(ad, ...)

Assignment to a static variable.

chc.app.CFileAssignment.StaticIndexAssignment(ad, ...)

Assignment to an element of a static array.

chc.app.CFileAssignment.FieldAssignment(ad, ...)

Assignment to a global struct field.

chc.app.CFileAssignment.UnknownAssignment(ad, ...)

Assignment to unknown lval

Object representation of sum type assignment_t.

class chc.app.CFileAssignment.CFileAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.AssignDictionaryRecord.AssignDictionaryRecord

Base class for all assignment objects.

property is_field_assignment: bool
property is_global_assignment: bool
property is_global_index_assignment: bool
property is_init_assignment: bool
property is_static_assignment: bool
property is_static_index_assignment: bool
property is_unknown_assignment: bool
class chc.app.CFileAssignment.FieldAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Assignment to a global struct field.

  • tags[1]: fieldname

  • args[0]: ckey (key that identifies the struct)

  • args[1]: index of function name in function name table

  • args[2]: index of lval in cdictionary

  • args[3]: index of rhs expression in cdictionary

  • args[4]: index of location in location table

  • args[5]: index of context in context table

property field: str
property fname: str
property is_field_assignment: bool
property lhs: CLval
property rhs: CExp
class chc.app.CFileAssignment.GlobalAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Global assignment within a function.

  • tags[1]: variable name

  • args[0]: vid of lhs

  • args[1]: index of enclosing function name in function-name table

  • args[2]: index of rhs expression in cdictionary

  • args[3]: index of location in cdecls dictionary

  • args[4]: index of context in context table

property fname: str
property is_global_assignment: bool
property lhs: CVarInfo
property rhs: CExp
property vid: int
property vname: str
class chc.app.CFileAssignment.GlobalAssignmentFunctionName(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.AssignDictionaryRecord.AssignDictionaryRecord

property name: str
class chc.app.CFileAssignment.GlobalIndexAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Assignment to an array element of a global array.

  • tags[1]: vname (variable name)

  • args[0]: vid (variable id)

  • args[1]: index of function name in assign dictionary

  • args[2]: array index value

  • args[3]: index of rhs expression in cdictionary

  • args[4]: index of location in cdecls dictionary

  • args[5]: index of context in context table

property fname: str
property index: int
property is_global_index_assignment: bool
property lhs: CVarInfo
property rhs: CExp
property vname: str
class chc.app.CFileAssignment.InitAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Static initializer assignment.

  • tags[1]: vname

  • args[0]: vid of lhs

  • args[1]: index of init_info in cdeclarations dictionary

property is_init_assignment: bool
lhs() → CVarInfo[source]
rhs() → CInitInfo[source]
property vid: int

Variable id of lhs variable.

property vname: str

Name of lhs variable.

class chc.app.CFileAssignment.StaticAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Assignment to a static variable.

  • tags[1]: vname

  • args[0]: vid

  • args[1]: index of function name in function-name table

  • args[2]: index of lhs in cdeclarations dictionary

  • args[3]: index of rhs in cdictionary

  • args[4]: index of context in context table

property fname: str
property is_static_assignment: bool
property lhs: CVarInfo
property rhs: CExp
property vid: int
property vname: str
class chc.app.CFileAssignment.StaticIndexAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Assignment to an element of a static array.

  • tags[1]: vname

  • args[0]: vid

  • args[1]: index of function name in function-name table

  • args[2]: index

  • args[3]: index of rhs in cdictionary

  • args[4]: index of location in cdeclarations

  • args[5]: index of context in context table

property fname: str
property index: int
property is_static_index_assignment: bool
property lhs: CVarInfo
property rhs: CExp
property vid: int
property vname: str
class chc.app.CFileAssignment.UnknownAssignment(ad: CFileAssignmentDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.app.CFileAssignment.CFileAssignment

Assignment to unknown lval

  • args[0]: index of function name in function name table

  • args[1]: index of lval in cdictionary

  • args[2]: index of rhs in cdictionary

  • args[3]: index of location in cdeclarations dictionary

  • args[4]: index of context in context table

property fname: str
property is_unknown_assignment: bool
property lhs: CLval
property rhs: CExp