chc.invariants.CVMemoryReferenceData module

Base value and type of a memory reference.

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

Bases: chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord

property base: CVMemoryBase

property typ: CTyp