ROSE  0.11.50.0
LinuxExitStatus.h
1 #ifndef ROSE_BinaryAnalysis_Concolic_LinuxExitStatus_H
2 #define ROSE_BinaryAnalysis_Concolic_LinuxExitStatus_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
5 #include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
6 
7 #include <Rose/BinaryAnalysis/Concolic/ExecutionManager.h>
8 #include <string>
9 #include <vector>
10 
11 namespace Rose {
12 namespace BinaryAnalysis {
13 namespace Concolic {
14 
19 class LinuxExitStatus: public ExecutionManager {
20 public:
23 
24 protected:
25  explicit LinuxExitStatus(const DatabasePtr &db);
26 
27 public:
28  ~LinuxExitStatus();
29 
34  static Ptr create(const std::string databaseUrl, const boost::filesystem::path &executableName,
35  const std::vector<std::string> &arguments);
36 
42  static Ptr instance(const std::string& databaseUri, const std::string &testSuiteName = "");
43 
44  virtual void run() ROSE_OVERRIDE;
45 };
46 
47 } // namespace
48 } // namespace
49 } // namespace
50 
51 #endif
52 #endif
Sawyer::SharedPointer< Node > Ptr
Shared-ownership pointer to an expression Node.
Definition: SymbolicExpr.h:156
Main namespace for the ROSE library.
Reference-counting intrusive smart pointer.
Definition: SharedPointer.h:68