dwarfcore.plugins.heap_common module

class dwarfcore.plugins.heap_common.TrackHeapInformation(dwarfcore: dwarfcore.dwarfcore.DwarfCore, m: manticore.native.manticore.Manticore, enable_heap_tracking: bool = True)

Bases: manticore.core.plugin.Plugin

Plugin to enable tracking heap information but does not do any detection work.

This should be used as the parent of any heap based manticore detector.

Parameters

  • dwarfcore (DwarfCore) –

  • m (Manticore) –

  • enable_heap_tracking (bool) –

manticore
dwarfcore.plugins.heap_common.do_not_free_memory(_state: manticore.native.state.State, _ptr: Union[int, manticore.core.smtlib.expression.Expression])
Parameters

  • _state (manticore.native.state.State) –

  • _ptr (Union[int, manticore.core.smtlib.expression.Expression]) –