chc.invariants.CVariableDenotation module

Base class and subclasses

`chc.invariants.CVariableDenotation.CVAugmentationVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVAuxiliaryVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVCheckVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVFieldVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVGlobalVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVLocalVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVMemoryRegionVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVMemoryVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVReturnVariable`(vd, ...)
`chc.invariants.CVariableDenotation.CVariableDenotation`(vd, ...)

Different types of analysis variable.

class chc.invariants.CVariableDenotation.CVAugmentationVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_augmentation_variable: bool

property name: str

class chc.invariants.CVariableDenotation.CVAuxiliaryVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property cvv: CVConstantValueVariable

property is_auxiliary_variable: bool

class chc.invariants.CVariableDenotation.CVCheckVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_check_variable: bool

property po_ids: List[int]

property po_isppo_expnr_ids: List[Tuple[int, int, int]]

property typ: CTyp

class chc.invariants.CVariableDenotation.CVFieldVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property ckey: int

property fieldname: str

property is_field_variable: bool

class chc.invariants.CVariableDenotation.CVGlobalVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_global_variable: bool

property varinfo: CVarInfo

class chc.invariants.CVariableDenotation.CVLocalVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_local_variable: bool

property offset: COffset

property varinfo: CVarInfo

class chc.invariants.CVariableDenotation.CVMemoryRegionVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_memory_region_variable: bool

property memory_base: CVMemoryBase

property memory_region_id: int

class chc.invariants.CVariableDenotation.CVMemoryVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

has_offset() → bool[source]

property is_memory_variable: bool

property memory_reference_data: CVMemoryReferenceData

property memory_reference_id: int

property offset: COffset

class chc.invariants.CVariableDenotation.CVReturnVariable(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CVariableDenotation.CVariableDenotation

property is_return_variable: bool

property typ: CTyp

class chc.invariants.CVariableDenotation.CVariableDenotation(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord

property is_auxiliary_variable: bool

property is_check_variable: bool

property is_field_variable: bool

property is_global_variable: bool

property is_library_variable: bool

property is_local_variable: bool

property is_memory_region_variable: bool

property is_memory_variable: bool

property is_return_variable: bool