Description
Concrete executor for Linux ELF executables.
Definition at line 429 of file BinaryConcolic.h.
#include <BinaryConcolic.h>
Classes | |
| class | Result |
| Base class for user-defined Linux concrete execution results. More... | |
Public Types | |
| typedef Sawyer::SharedPointer< LinuxExecutor > | Ptr |
| Reference counting pointer to a LinuxExecutor. More... | |
| typedef Sawyer::Optional< unsigned long > | Persona |
| Holds an optional personality-value (i.g., indicating if address randomization should be turned off). More... | |
 Public Types inherited from Rose::BinaryAnalysis::Concolic::ConcreteExecutor | |
| typedef Sawyer::SharedPointer< ConcreteExecutor > | Ptr |
| Reference counting pointer to a ConcreteExecutor. More... | |
Public Member Functions | |
| virtual Result * | execute (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 Rose::BinaryAnalysis::Concolic::ConcreteExecutor | |
| void | executionMonitor (const boost::filesystem::path &executorName) |
| Sets an execution monitor for a test run. More... | |
| boost::filesystem::path | executionMonitor () const |
| Sets an execution monitor for a test run. More... | |
| Public Member Functions inherited from Sawyer::SharedObject | |
| SharedObject () | |
| Default constructor. More... | |
| SharedObject (const SharedObject &) | |
| Copy constructor. More... | |
| virtual | ~SharedObject () |
| Virtual destructor. More... | |
| SharedObject & | operator= (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 432 of file BinaryConcolic.h.
| typedef Sawyer::Optional<unsigned long> Rose::BinaryAnalysis::Concolic::LinuxExecutor::Persona |
Holds an optional personality-value (i.g., indicating if address randomization should be turned off).
Definition at line 435 of file BinaryConcolic.h.
Member Function Documentation
|
inlinestatic |
Allocating constructor.
Definition at line 504 of file BinaryConcolic.h.
|
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 514 of file BinaryConcolic.h.
|
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 515 of file BinaryConcolic.h.
|
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:
