Description
Tag that describes an out-of-bounds memory access.
Definition at line 15 of file OutOfBoundsTag.h.
#include <Rose/BinaryAnalysis/ModelChecker/OutOfBoundsTag.h>
Public Types | |
| using | Ptr = OutOfBoundsTagPtr |
 Public Types inherited from Rose::BinaryAnalysis::ModelChecker::Tag | |
| using | Ptr = TagPtr |
| Shared ownership pointer. More... | |
Public Member Functions | |
| virtual std::string | name () const override |
| Property: Generic name of tag. More... | |
| virtual std::string | printableName () const override |
| String to identify this tag. More... | |
| virtual void | print (std::ostream &, const std::string &prefix) const override |
| Print multi-line information about the tag. More... | |
| virtual void | toYaml (std::ostream &, const std::string &prefix) const override |
| Print multi-line information about the tag in YAML format. More... | |
| Public Member Functions inherited from Rose::BinaryAnalysis::ModelChecker::Tag | |
| size_t | nodeStep () const |
| Property: Node step. More... | |
Static Public Member Functions | |
| static Ptr | instance (size_t nodeStep, TestMode, IoMode, SgAsmInstruction *, const InstructionSemantics::BaseSemantics::SValuePtr &addr, const Variables::StackVariable &intendedVariable, const AddressInterval &intendedVariableLocation, const Variables::StackVariable &accessedVariable, const AddressInterval &accessedVariableLocation) |
| Allocating constructor. More... | |
Protected Member Functions | |
| OutOfBoundsTag (size_t nodeStep, TestMode, IoMode, SgAsmInstruction *, const InstructionSemantics::BaseSemantics::SValuePtr &addr, const Variables::StackVariable &intendedVariable, const AddressInterval &intendedVariableLocation, const Variables::StackVariable &accessedVariable, const AddressInterval &accessedVariableLocation) | |
| OutOfBoundsTag (const OutOfBoundsTag &)=delete | |
| Protected Member Functions inherited from Rose::BinaryAnalysis::ModelChecker::Tag | |
| Tag (size_t nodeStep) | |
Member Function Documentation
|
static |
Allocating constructor.
Constructs a tag with information about out-of-bounds access to a stack variable. The intendedVariable is the variable that was apparently intended to be accessed along with its intendedVariableLocation in memory. If the memory I/O accessed some other known stack variable, this can be indicated by the accessedVariable argument and its accessedVariableLocation. The accessedVariable should be a default constructed object if the I/O didn't access any part of any other known variable (the stack often has areas that are reserved by the compiler that don't correspond to any source level variables).
Thread safety: This constructor is thread safe.
|
overridevirtual |
Property: Generic name of tag.
For instance, the name of a null pointer dereference tag might be the words "null pointer dereference" (see NullDereferenceTag for the actual value).
Thread safety: The implementation must be thread safe.
Implements Rose::BinaryAnalysis::ModelChecker::Tag.
|
overridevirtual |
String to identify this tag.
Returns a single line string (no line feed) that is suitable for printing on a terminal (no special characters). This is used mostly in diagnostic messages.
Thread safety: The implementation must be thread safe.
Implements Rose::BinaryAnalysis::ModelChecker::Tag.
|
overridevirtual |
Print multi-line information about the tag.
First line should be the full name of the tag. Next lines are indented by at least two spaces and contain additional information about the tag. All lines start with the prefix.
Thread safety: The implementation must be thread safe for gathering the information but need not concern itself with ensuring that no other threads are sending output to the same stream.
Implements Rose::BinaryAnalysis::ModelChecker::Tag.
|
overridevirtual |
Print multi-line information about the tag in YAML format.
The first line starts with the prefix, and the following lines start with that number of spaces.
Thread safety: The implementation must be thread safe for gathering the information but need not concern itself with ensuring that no other threads are sending output to the same stream.
Implements Rose::BinaryAnalysis::ModelChecker::Tag.
The documentation for this class was generated from the following file:
