Classes | Typedefs | Functions | Variables
Rose::BinaryAnalysis::Concolic Namespace Reference


Concolic testing system.

This namespace defines a framework for writing concolic testing systems. A system consists of these main parts:


class  ConcreteExecutor
 Base class for executing test cases concretely. More...
class  Database
 Database. More...
class  Exception
 Base class for exceptions for concolic testing. More...
class  ExecutionManager
 Base class for managing an entire concolic testing run. More...
class  LinuxExecutor
 Concrete executor for Linux ELF executables. More...
class  LinuxExitStatus
 Concolic teting of Linux executables. More...
class  ObjectId
 ID class for database objects. More...
class  Specimen
 Binary specimen. More...
class  TestCase
 Information about how to run a specimen. More...
class  TestSuite
 Test suite. More...


typedef Sawyer::SharedPointer< SpecimenSpecimenPtr
typedef Sawyer::SharedPointer< TestCaseTestCasePtr
typedef Sawyer::SharedPointer< ConcreteExecutorConcreteExecutorPtr
typedef Sawyer::SharedPointer< LinuxExecutorLinuxExecutorPtr
typedef Sawyer::SharedPointer< ConcolicExecutor > ConcolicExecutorPtr
typedef Sawyer::SharedPointer< TestSuiteTestSuitePtr
typedef Sawyer::SharedPointer< DatabaseDatabasePtr
typedef Sawyer::SharedPointer< ExecutionManagerExecutionManagerPtr
typedef Sawyer::SharedPointer< LinuxExitStatusLinuxExitStatusPtr
typedef std::pair< std::string, std::string > EnvValue
 Environment variable and its value. More...
typedef ObjectId< TestSuiteTestSuiteId
 Database ID for test suite objects. More...
typedef ObjectId< SpecimenSpecimenId
 Database ID for specimen objects. More...
typedef ObjectId< TestCaseTestCaseId
 Database ID for test case objects. More...


template<class Tag >
bool operator< (const ObjectId< Tag > &lhs, const ObjectId< Tag > &rhs)
 defines ordering of ObjectIds. More...
void writeDBSchema (std::ostream &os)
 prints all SQL schema statements on os.
void writeSqlStmts (std::ostream &os)
 prints all SQL statements on os.


Sawyer::Message::Facility mlog
const char *const tagConcreteExecutorResult
const char *const tagLinuxExecutorResult

Typedef Documentation

typedef std::pair<std::string , std::string > Rose::BinaryAnalysis::Concolic::EnvValue

Environment variable and its value.

Definition at line 221 of file BinaryConcolic.h.

Database ID for test suite objects.

Definition at line 656 of file BinaryConcolic.h.

Database ID for specimen objects.

Definition at line 657 of file BinaryConcolic.h.

Database ID for test case objects.

Definition at line 658 of file BinaryConcolic.h.

Function Documentation

template<class Tag >
bool Rose::BinaryAnalysis::Concolic::operator< ( const ObjectId< Tag > &  lhs,
const ObjectId< Tag > &  rhs 

defines ordering of ObjectIds.

Definition at line 648 of file BinaryConcolic.h.

References Sawyer::Optional< T >::get().