OobTag.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_OobTag_H
#define ROSE_BinaryAnalysis_ModelChecker_OobTag_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS

#include <Rose/BinaryAnalysis/ModelChecker/Tag.h>
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/Types.h>
#include <Rose/BinaryAnalysis/Variables.h>

namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {

class OobTag: public Tag {
public:
    using Ptr = OobTagPtr;

private:
    const TestMode testMode_;                                    // may or must, but not off
    const IoMode ioMode_;                                        // read or write
    const SgAsmInstruction *insn_;                               // instruction where the oob access occurs (optional)
    const InstructionSemantics::BaseSemantics::SValuePtr addr_; // memory address that is accessed
    const Variables::StackVariable intendedVariable_;            // variable that was incorrectly accessed
    const AddressInterval intendedVariableLocation_;             // location and size of stack variable in memory
    const Variables::StackVariable accessedVariable_;            // optional info about variable actually accessed
    const AddressInterval accessedVariableLocation_;             // optional location and size of variable actually accessed

protected:
    OobTag() = delete;
    OobTag(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);

    OobTag(const OobTag&) = delete;

public:
    ~OobTag();

    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);

public:
    virtual std::string name() const override;
    virtual std::string printableName() const override;
    virtual void print(std::ostream&, const std::string &prefix) const override;
    virtual void toYaml(std::ostream&, const std::string &prefix) const override;
};

} // namespace
} // namespace
} // namespace

#endif
#endif