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/AddressSet.h>
#include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
 
#include <Sawyer/SharedObject.h>
#include <Sawyer/SharedPointer.h>
 
#include <string>
 
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