MemoryInput.h

#ifndef ROSE_BinaryAnalysis_Concolic_Callback_MemoryInput_H
#define ROSE_BinaryAnalysis_Concolic_Callback_MemoryInput_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/SharedMemory.h>
 
#include <Rose/BinaryAnalysis/ByteOrder.h>
#include <Rose/BinaryAnalysis/SymbolicExpression.h>
 
#include <Sawyer/IntervalMap.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace Callback {
 
class MemoryInput: public SharedMemoryCallback {
private:
    using ByteMap = Sawyer::Container::IntervalMap<AddressInterval, SymbolicExpression::Ptr>;
    ByteMap previousReads_;
    ByteOrder::Endianness byteOrder_;
 
public:
    using Ptr = MemoryInputPtr;
 
protected:
    MemoryInput(const std::string &name);               // for factories
    MemoryInput(const AddressInterval &where, const std::string &name, ByteOrder::Endianness);
public:
    ~MemoryInput();
 
public:
    static Ptr instance(const AddressInterval &where, ByteOrder::Endianness = ByteOrder::ORDER_UNSPECIFIED);
 
    static Ptr factory();
 
    ByteOrder::Endianness byteOrder() const;
    void byteOrder(ByteOrder::Endianness);
public:
    virtual SharedMemoryCallbackPtr instanceFromFactory(const AddressInterval&, const Yaml::Node &config) const override;
    virtual void handlePreSharedMemory(SharedMemoryContext&) override;
    virtual void playback(SharedMemoryContext&) override;
};
 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif