ROSE  0.9.10.91
Classes | 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  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  Specimen
 Binary specimen. More...
 
class  SymbolicExecutor
 
class  TestCase
 Information about how to run a specimen. More...
 
class  TestSuite
 Test suite. More...
 

Variables

Sawyer::Message::Facility mlog