I386Linux/TracingExecutor.h

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

#include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
#include <Sawyer/SharedObject.h>
#include <Sawyer/SharedPointer.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace I386Linux {

class TracingExecutor: public Concolic::ConcreteExecutor {
    using Super = Concolic::ConcreteExecutor;

public:
    using Ptr = TracingExecutorPtr;


private:
    friend class boost::serialization::access;

    template<class S>
    void serialize(S &s, const unsigned /*version*/) {}

protected:
    TracingExecutor();                                  // for serialization
    explicit TracingExecutor(const std::string &name);  // for factories
    explicit TracingExecutor(const DatabasePtr&);

public:
    ~TracingExecutor();

    static Ptr instance(const DatabasePtr&);

    static Ptr factory();

    static int exitStatus(const ConcreteResultPtr&);

    const AddressSet& executedVas(const ConcreteResultPtr&);

    ConcreteResultPtr execute(const TestCasePtr&) override;

    // Documented in super class
    virtual bool matchFactory(const std::string&) const override;
    virtual Concolic::ConcreteExecutorPtr instanceFromFactory(const DatabasePtr&) override;
};

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

#endif
#endif