ReadWriteSets.h

#ifndef ROSE_BinaryAnalysis_ReadWriteSets_H
#define ROSE_BinaryAnalysis_ReadWriteSets_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS
#include <Rose/BinaryAnalysis/BasicTypes.h>
 
#include <Rose/BinaryAnalysis/Variables.h>
 
namespace Rose {
namespace BinaryAnalysis {
 
class ReadWriteSets {
public:
    using Ptr = ReadWriteSetsPtr;
 
    struct Settings {
        bool findingLocalVariables;
 
        bool findingGlobalVariables;
 
        Variables::VariableFinder::Settings variableFinder;
 
        Settings()
            : findingLocalVariables(true), findingGlobalVariables(true) {}
    };
 
private:
    Settings settings_;
    Partitioner2::PartitionerConstPtr partitioner_;
    Variables::StackVariables stackVariables_;
    Variables::GlobalVariables globalVariables_;
 
public:
    ~ReadWriteSets();
protected:
    ReadWriteSets() = delete;
    ReadWriteSets(const Partitioner2::PartitionerConstPtr&, const Settings&);
public:
    static Ptr instance(const Partitioner2::PartitionerConstPtr&, const Settings& = Settings());
 
    const Settings& settings() const;
    Settings& settings();
    static Sawyer::CommandLine::SwitchGroup commandLineSwitches(Settings&);
 
    void analyze(const Partitioner2::FunctionPtr&);
 
    std::vector<Variables::StackVariable> localVariables(Variables::AccessFlags required = Variables::AccessFlags(),
                                                         Variables::AccessFlags forbidden = Variables::AccessFlags()) const;
 
    void print(std::ostream&, const std::string &prefix = "") const;
};
 
std::ostream& operator<<(std::ostream&, const ReadWriteSets&);
 
} // namespace
} // namespace
 
#endif
#endif