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

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

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
isFinished() const Rose::BinaryAnalysis::Concolic::ExecutionManagervirtual
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::ExecutionManager
run()=0Rose::BinaryAnalysis::Concolic::ExecutionManagerpure virtual
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
~ExecutionManager() (defined in Rose::BinaryAnalysis::Concolic::ExecutionManager)Rose::BinaryAnalysis::Concolic::ExecutionManagerinlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual