ROSE  0.9.12.28
Rose::BinaryAnalysis::Concolic::LinuxExitStatus Member List

This is the complete list of members for Rose::BinaryAnalysis::Concolic::LinuxExitStatus, including all inherited members.

create(const std::string databaseUrl, const boost::filesystem::path &executableName, const std::vector< std::string > &arguments)Rose::BinaryAnalysis::Concolic::LinuxExitStatusstatic
database() const Rose::BinaryAnalysis::Concolic::ExecutionManager
ExecutionManager(const Database::Ptr &db) (defined in Rose::BinaryAnalysis::Concolic::ExecutionManager)Rose::BinaryAnalysis::Concolic::ExecutionManagerinlineexplicitprotected
insertConcolicResults(const TestCase::Ptr &original, const std::vector< TestCase::Ptr > &newCases)Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
insertConcreteResults(const TestCase::Ptr &, const ConcreteExecutor::Result &details)Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
instance(const std::string &databaseUri, const std::string &testSuiteName="")Rose::BinaryAnalysis::Concolic::LinuxExitStatusstatic
isFinished() const Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
LinuxExitStatus(const Database::Ptr &db) (defined in Rose::BinaryAnalysis::Concolic::LinuxExitStatus)Rose::BinaryAnalysis::Concolic::LinuxExitStatusinlineexplicitprotected
operator=(const SharedObject &)Sawyer::SharedObjectinline
pendingConcolicResult()Rose::BinaryAnalysis::Concolic::ExecutionManager
pendingConcolicResults(size_t n=(size_t)(-1))Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
pendingConcreteResult()Rose::BinaryAnalysis::Concolic::ExecutionManager
pendingConcreteResults(size_t n=(size_t)(-1))Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
Ptr typedefRose::BinaryAnalysis::Concolic::LinuxExitStatus
run() ROSE_OVERRIDERose::BinaryAnalysis::Concolic::LinuxExitStatusvirtual
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
~ExecutionManager() (defined in Rose::BinaryAnalysis::Concolic::ExecutionManager)Rose::BinaryAnalysis::Concolic::ExecutionManagerinlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual