ModulesLinux.h

#ifndef ROSE_Partitioner2_ModulesLinux_H
#define ROSE_Partitioner2_ModulesLinux_H

#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS
#include <Partitioner2/Modules.h>

#include <BinarySystemCall.h>
#include <BaseSemanticsDispatcher.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Partitioner2 {

namespace ModulesLinux {

SystemCall systemCallAnalyzer(const Partitioner&, const boost::filesystem::path &syscallHeader = "");

class SyscallSuccessors: public BasicBlockCallback {
    SystemCall analyzer_;
protected:
    SyscallSuccessors(const Partitioner&, const boost::filesystem::path &syscallHeader);
public:
    static Ptr instance(const Partitioner&, const boost::filesystem::path &syscallHeader = "");

    virtual bool operator()(bool chain, const Args&) ROSE_OVERRIDE;
};

class LibcStartMain: public BasicBlockCallback {
    Sawyer::Optional<rose_addr_t> mainVa_;
public:
    typedef Sawyer::SharedPointer<LibcStartMain> Ptr;

    static Ptr instance() { return Ptr(new LibcStartMain); } 
    virtual bool operator()(bool chain, const Args&) ROSE_OVERRIDE;

    void nameMainFunction(const Partitioner&) const;

private:
    // Read a value from the stack
    InstructionSemantics2::BaseSemantics::SValuePtr
    readStack(const Partitioner &partitioner, const InstructionSemantics2::BaseSemantics::DispatcherPtr &cpu, int byteOffset,
              size_t nBitsToRead, RegisterDescriptor segmentRegister);
};

void nameSystemCalls(const Partitioner&, const boost::filesystem::path &syscallHeader = "");

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

#endif
#endif