chc.invariants.CFunVarDictionary module

Dictionary of indexed variables for an individual function.

class chc.invariants.CFunVarDictionary.CFunVarDictionary(cfun: CFunction, xnode: xml.etree.ElementTree.Element)[source]

Bases: object

Indexed analysis variables.

property cdictionary: CFileDictionary

property cfile: CFile

property cfun: CFunction

property fdecls: CFileDeclarations

property fundecls: CFunDeclarations

get_c_variable_denotation(ix: int) → chc.invariants.CVariableDenotation.CVariableDenotation[source]

get_c_variable_denotation_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_constant_value_variable(ix: int) → chc.invariants.CVConstantValueVariable.CVConstantValueVariable[source]

get_constant_value_variable_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_memory_base(ix: int) → chc.invariants.CVMemoryBase.CVMemoryBase[source]

get_memory_base_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

get_memory_reference_data(ix: int) → chc.invariants.CVMemoryReferenceData.CVMemoryReferenceData[source]

get_memory_reference_data_map() → Dict[int, chc.util.IndexedTable.IndexedTableValue][source]

initialize(xnode: xml.etree.ElementTree.Element) → None[source]

objectmap_to_string(name: str) → str[source]

property xd: chc.invariants.CFunXprDictionary.CFunXprDictionary