chc.invariants.CVMemoryBase module

Base class and subclasses

`chc.invariants.CVMemoryBase.CVMemoryBase`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseAllocStackAddress`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseBaseVar`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseFreed`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseGlobalAddress`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseNull`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseStackAddress`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseStringLiteral`(vd, ...)
`chc.invariants.CVMemoryBase.CVMemoryBaseUninterpreted`(vd, ...)

Different types of memory base values (global, stack, heap).

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

Bases: chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord

property is_alloc_stack_address: bool

property is_basevar: bool

property is_freed: bool

property is_global_address: bool

property is_heap_address: bool

property is_null: bool

property is_stack_address: bool

property is_string_literal: bool

property is_uninterpreted: bool

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_alloc_stackaddress: bool

property region_id: int

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_basevar: bool

property variable: CXVariable

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_freed: bool

property region: chc.invariants.CVMemoryBase.CVMemoryBase

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_global_address: bool

property variable: CXVariable

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_heap_address: bool

property is_valid: bool

property region_id: int

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property associated_region: chc.invariants.CVMemoryBase.CVMemoryBase

has_associated_region() → bool[source]

property is_null: bool

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_stack_address: bool

property variable: CXVariable

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_string_literal: bool

property string: str

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

Bases: chc.invariants.CVMemoryBase.CVMemoryBase

property is_uninterpreted: bool

property name: str