ROSE
0.9.10.2
|
Predicate for non-written cells.
Returns true if a cell has no writers.
Definition at line 55 of file MemoryCell.h.
#include <MemoryCell.h>
Public Member Functions | |
virtual bool | operator() (const MemoryCellPtr &) const ROSE_OVERRIDE |
Invoked for some cell. More... | |
|
virtual |
Invoked for some cell.
The predicate must not modify the cell.
Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::Predicate.