Concolic/SystemCall.h

#ifndef ROSE_BinaryAnalysis_Concolic_SystemCall_H
#define ROSE_BinaryAnalysis_Concolic_SystemCall_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
 
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/BasicTypes.h>
#include <Rose/BinaryAnalysis/SymbolicExpression.h>
 
#include <Sawyer/Optional.h>
#include <Sawyer/SharedObject.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
 
// System call context for callbacks
 
class SyscallContext {
public:
    SyscallContext() = delete;
 
    SyscallContext(const ArchitecturePtr&, const ExecutionEventPtr &syscallEvent,
                   const std::vector<ExecutionEventPtr> &relatedEvents);
 
    SyscallContext(const ArchitecturePtr&, const Emulation::RiscOperatorsPtr&,
                   const ExecutionEventPtr &syscallEvent);
 
    virtual ~SyscallContext();
 
    /*------------------------------------------------------------------------------------------------------------
     * Inputs to the callback
     *------------------------------------------------------------------------------------------------------------*/
 
    ConcolicPhase phase = ConcolicPhase::EMULATION;
 
    ArchitecturePtr architecture;
 
    Emulation::RiscOperatorsPtr ops;
 
    Address ip = 0;
 
    std::vector<uint64_t> argsConcrete;
 
    ExecutionEventPtr syscallEvent;
 
    /*------------------------------------------------------------------------------------------------------------
     * Inputs and outputs
     *------------------------------------------------------------------------------------------------------------*/
 
    std::vector<ExecutionEventPtr> relatedEvents;
 
    ExecutionEventPtr returnEvent;
 
    SymbolicExpression::Ptr symbolicReturn;
};
 
 
// Callbacks to handle system calls.
 
class SyscallCallback: public Sawyer::SharedObject {
public:
    using Ptr = SyscallCallbackPtr;
 
public:
    virtual ~SyscallCallback() {}
 
    virtual bool operator()(bool handled, SyscallContext&) = 0;
 
    void hello(const std::string &myName, const SyscallContext&) const;
 
    void notAnInput(SyscallContext&, const ExecutionEventPtr&) const;
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif