ExitStatusExecutor.h

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

#include <boost/serialization/export.hpp>
#include <boost/serialization/access.hpp>
#include <boost/serialization/nvp.hpp>
#include <boost/serialization/base_object.hpp>
#include <Rose/BinaryAnalysis/Concolic/ConcreteExecutor.h>
#include <Sawyer/Optional.h>
#include <Sawyer/SharedPointer.h>
#include <string>

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

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

public:
    using Ptr = ExitStatusExecutorPtr;

    using Persona = Sawyer::Optional<unsigned long>;

protected:
    bool useAddressRandomization_ = false;              // enable/disable address space randomization in the OS

protected:
    explicit ExitStatusExecutor(const std::string &name); // for creating a factory
    explicit ExitStatusExecutor(const DatabasePtr&);

public:
    ~ExitStatusExecutor();

    static Ptr instance(const DatabasePtr&);

    static Ptr factory();

    bool useAddressRandomization() const { return useAddressRandomization_; }
    void useAddressRandomization(bool b) { useAddressRandomization_ = b; }
public:
    virtual bool matchFactory(const std::string&) const override;
    virtual Concolic::ConcreteExecutorPtr instanceFromFactory(const DatabasePtr&) override;
    virtual Concolic::ConcreteResultPtr execute(const TestCasePtr&) override;
};

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

#endif
#endif