ROSE  0.9.10.91
Classes | Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members
Rose::BinaryAnalysis::Concolic::LinuxExecutor Class Reference

Description

Concrete executor for Linux ELF executables.

Definition at line 246 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

Inheritance diagram for Rose::BinaryAnalysis::Concolic::LinuxExecutor:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::Concolic::LinuxExecutor:
Collaboration graph
[legend]

Classes

class  Result
 Base class for user-defined Linux concrete execution results. More...
 

Public Types

typedef Sawyer::SharedPointer< LinuxExecutorPtr
 Reference counting pointer to a LinuxExecutor. More...
 
- Public Types inherited from Rose::BinaryAnalysis::Concolic::ConcreteExecutor
typedef Sawyer::SharedPointer< ConcreteExecutorPtr
 Reference counting pointer to a ConcreteExecutor. More...
 

Public Member Functions

virtual std::unique_ptr< ConcreteExecutor::Resultexecute (const TestCase::Ptr &) ROSE_OVERRIDE
 Execute one test case synchronously. More...
 
bool useAddressRandomization () const
 Property: Address space randomization. More...
 
void useAddressRandomization (bool b)
 Property: Address space randomization. More...
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...
 

Protected Attributes

bool useAddressRandomization_
 

Member Typedef Documentation

Reference counting pointer to a LinuxExecutor.

Definition at line 249 of file BinaryConcolic.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::Concolic::LinuxExecutor::instance ( )
inlinestatic

Allocating constructor.

Definition at line 289 of file BinaryConcolic.h.

bool Rose::BinaryAnalysis::Concolic::LinuxExecutor::useAddressRandomization ( ) const
inline

Property: Address space randomization.

This property controls whether the specimen is executed with or without OS address space randomization. It's usually better to turn off randomization for repeatable results, and it is therefore off by default.

Definition at line 299 of file BinaryConcolic.h.

void Rose::BinaryAnalysis::Concolic::LinuxExecutor::useAddressRandomization ( bool  b)
inline

Property: Address space randomization.

This property controls whether the specimen is executed with or without OS address space randomization. It's usually better to turn off randomization for repeatable results, and it is therefore off by default.

Definition at line 300 of file BinaryConcolic.h.

virtual std::unique_ptr<ConcreteExecutor::Result> Rose::BinaryAnalysis::Concolic::LinuxExecutor::execute ( const TestCase::Ptr )
virtual

Execute one test case synchronously.

Returns the results from running the test concretely. Results are user-defined. The return value is never a null pointer.

Implements Rose::BinaryAnalysis::Concolic::ConcreteExecutor.


The documentation for this class was generated from the following file: