microprobe.passes.memory.GenericOldMemoryModelPass

class GenericOldMemoryModelPass(model, strict=True, loadsonly=False, storesonly=False)

Bases: microprobe.passes.Pass

GenericOldMemoryModelPass pass.

__init__(model, strict=True, loadsonly=False, storesonly=False)

Parameters

• model –

• strict – (Default value = True)

• loadsonly – (Default value = False)

• storesonly – (Default value = False)

Methods

__init__(model[, strict, loadsonly, storesonly])	param model
check(dummy_building_block, dummy_target)	param dummy_building_block
info()	Te
report()
requires()

---

check(dummy_building_block, dummy_target)

Parameters

• dummy_building_block –

• dummy_target –

info()

Te

report()

requires()