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  ConcolicExecutor
 Concolic executor. More...
class  ConcreteExecutor
 Base class for executing test cases concretely. More...
class  Database
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...
struct  ObjectId
 Database. 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< 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
typedef ObjectId< SpecimenSpecimenId
typedef ObjectId< TestCaseTestCaseId


template<class Tag >
bool operator< (const ObjectId< Tag > &lhs, const ObjectId< Tag > &rhs)
std::vector< uint8_t > loadBinaryFile (const boost::filesystem::path &path)
 Loads a binary file. More...
void storeBinaryFile (const std::vector< uint8_t > &data, const boost::filesystem::path &path)
 Stores a binary file. More...


Sawyer::Message::Facility mlog

Function Documentation

std::vector<uint8_t> Rose::BinaryAnalysis::Concolic::loadBinaryFile ( const boost::filesystem::path &  path)

Loads a binary file.

Throws a std::runtime_error if the file cannot be opened.

void Rose::BinaryAnalysis::Concolic::storeBinaryFile ( const std::vector< uint8_t > &  data,
const boost::filesystem::path &  path 

Stores a binary file.

Throws a std::runtime_error if the file cannot be opened.