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>
 
#ifdef ROSE_ENABLE_BOOST_SERIALIZATION
#include <boost/serialization/export.hpp>
#include <boost/serialization/access.hpp>
#include <boost/serialization/nvp.hpp>
#include <boost/serialization/base_object.hpp>
#endif
 
#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