microprobe.passes.memory.GenericOldMemoryModelPass

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

Bases: microprobe.passes.Pass

GenericOldMemoryModelPass pass.

__init__(model, strict=True, loadsonly=False, storesonly=False)[source]
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()