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

Description

Concolic testing system.

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

Classes

class  ConcolicExecutor
 Concolic executor. More...
 
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
 
class  Specimen
 Binary specimen. More...
 
class  TestCase
 Information about how to run a specimen. More...
 
class  TestSuite
 Test suite. More...
 

Typedefs

typedef Sawyer::SharedPointer< SpecimenSpecimenPtr
 
typedef Sawyer::SharedPointer< TestCaseTestCasePtr
 
typedef Sawyer::SharedPointer< ConcreteExecutorConcreteExecutorPtr
 
typedef Sawyer::SharedPointer< LinuxExecutorLinuxExecutorPtr
 
typedef Sawyer::SharedPointer< ConcolicExecutorConcolicExecutorPtr
 
typedef Sawyer::SharedPointer< TestSuiteTestSuitePtr
 
typedef Sawyer::SharedPointer< DatabaseDatabasePtr
 
typedef Sawyer::SharedPointer< ExecutionManagerExecutionManagerPtr
 
typedef Sawyer::SharedPointer< LinuxExitStatusLinuxExitStatusPtr
 
typedef std::pair< std::string, std::string > EnvValue
 
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...
 

Functions

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

Variables

Sawyer::Message::Facility mlog
 

Typedef Documentation

Database ID for test suite objects.

Definition at line 653 of file BinaryConcolic.h.

Database ID for specimen objects.

Definition at line 654 of file BinaryConcolic.h.

Database ID for test case objects.

Definition at line 655 of file BinaryConcolic.h.