Description
Predicate for non-written cells.
Returns true if a cell has no writers.
Definition at line 61 of file BaseSemantics/MemoryCell.h.
#include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/MemoryCell.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:
Public Member Functions | |
| virtual bool | operator() (const MemoryCellPtr &) override |
| Invoked for some cell. More... | |
Member Function Documentation
|
overridevirtual |
Invoked for some cell.
The predicate must not modify the cell.
Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::Predicate.
The documentation for this class was generated from the following file:
