microprobe.passes.memory.GenericOldMemoryModelPass

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

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