1 #ifndef ROSE_BinaryAnalysis_ModelChecker_UninitVarTag_H
2 #define ROSE_BinaryAnalysis_ModelChecker_UninitVarTag_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
6 #include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
7 #include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/Types.h>
8 #include <Rose/BinaryAnalysis/Variables.h>
12 namespace ModelChecker {
17 using Ptr = UninitVarTagPtr;
48 virtual std::string
name()
const override;
50 virtual void print(std::ostream&,
const std::string &prefix)
const override;
51 virtual void toYaml(std::ostream&,
const std::string &prefix)
const override;
virtual void print(std::ostream &, const std::string &prefix) const override
Print multi-line information about the tag.
Tag that describes an out-of-bounds memory access.
virtual void toYaml(std::ostream &, const std::string &prefix) const override
Print multi-line information about the tag in YAML format.
Base class for machine instructions.
TestMode
Mode by which comparisons are made.
virtual std::string name() const override
Property: Generic name of tag.
Main namespace for the ROSE library.
Information tagged to a path node.
size_t nodeStep() const
Property: Node step.
virtual std::string printableName() const override
String to identify this tag.
static Ptr instance(size_t nodeStep, TestMode, SgAsmInstruction *, const InstructionSemantics::BaseSemantics::SValuePtr &addr, const Variables::StackVariable &variable, const AddressInterval &variableLocation)
Allocating constructor.
Description of a local stack variable within a function.