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()