1 #ifndef ROSE_BinaryAnalysis_Concolic_I386Linux_ExitStatusResult_H
2 #define ROSE_BinaryAnalysis_Concolic_I386Linux_ExitStatusResult_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
5 #include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
7 #include <Rose/BinaryAnalysis/Concolic/ConcreteResult.h>
11 namespace BinaryAnalysis {
16 class ExitStatusResult:
public Concolic::ConcreteResult {
17 using Super = Concolic::ConcreteResult;
21 using Ptr = ExitStatusResultPtr;
25 std::string exitKind_;
26 std::string capturedOut_;
27 std::string capturedErr_;
30 friend class boost::serialization::access;
34 s & BOOST_SERIALIZATION_BASE_OBJECT_NVP(Super);
35 s & BOOST_SERIALIZATION_NVP(exitStatus_);
36 s & BOOST_SERIALIZATION_NVP(exitKind_);
37 s & BOOST_SERIALIZATION_NVP(capturedOut_);
38 s & BOOST_SERIALIZATION_NVP(capturedErr_);
42 ExitStatusResult(
double rank,
int exitStatus);
52 static Ptr instance(
double rank,
int exitStatus);
61 int exitStatus()
const;
68 std::string out()
const;
69 void out(
const std::string&);
71 std::string err()
const;
72 void err(
const std::string&);
78 std::string exitKind()
const;
void serialize(std::ostream &output, Graph &graph)
Serialize a graph into a stream of bytes.
Main namespace for the ROSE library.
Sawyer::SharedPointer< Node > Ptr
Reference counting pointer.