InputVariables.h

#ifndef ROSE_BinaryAnalysis_Concolic_InputVariables_H
#define ROSE_BinaryAnalysis_Concolic_InputVariables_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>

#include <Rose/BinaryAnalysis/SymbolicExpr.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

class InputVariables {
private:
    typedef Sawyer::Container::Map<uint64_t, ExecutionEventPtr> Variables; // map symbolic variable ID to program input
    Variables variables_;

public:
    void insertProgramArgumentCount(const ExecutionEventPtr&, const SymbolicExpr::Ptr &variable);

    void insertProgramArgument(const ExecutionEventPtr&, size_t i, size_t j, const SymbolicExpr::Ptr &variable);

    void insertEnvironmentVariable(const ExecutionEventPtr&, size_t i, size_t j, const SymbolicExpr::Ptr &variable);

    void insertSystemCallReturn(const ExecutionEventPtr&, const SymbolicExpr::Ptr &variable);

    void insertSharedMemoryRead(const ExecutionEventPtr&, const SymbolicExpr::Ptr &variable);

    void insertEvent(const ExecutionEventPtr&);

    ExecutionEventPtr get(const std::string &symbolicVarName) const;

    void print(std::ostream&, const std::string &prefix = "") const;

    friend std::ostream& operator<<(std::ostream &out, const InputVariables &x) {
        x.print(out);
        return out;
    }
};

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

#endif
#endif