M68kSystem/TracingExecutor.h

#ifndef ROSE_BinaryAnalysis_Concolic_M68kSystem_TracingExecutor_H
#define ROSE_BinaryAnalysis_Concolic_M68kSystem_TracingExecutor_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
 
#include <boost/filesystem.hpp>
#include <boost/process/child.hpp>
#include <Sawyer/Trace.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace M68kSystem {
 
class TracingExecutor: public Concolic::ConcreteExecutor {
    using Super = Concolic::ConcreteExecutor;
 
public:
    using Ptr = TracingExecutorPtr;
 
protected:
    explicit TracingExecutor(const std::string&);       // for factories
    explicit TracingExecutor(const DatabasePtr&);
public:
    ~TracingExecutor();
 
public:
    static Ptr instance(const DatabasePtr&);
 
    static Ptr factory();
 
public:
    virtual bool matchFactory(const std::string&) const override;
    virtual Concolic::ConcreteExecutorPtr instanceFromFactory(const DatabasePtr&) override;
    virtual Concolic::ConcreteResultPtr execute(const TestCasePtr&) override;
 
private:
    // Start running QEMU asynchronously
    boost::process::child startQemu(const boost::filesystem::path &firmwareName);
};
 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif