ROSE
0.9.12.28
|
Information about how to run a specimen.
This object points to a specimen and also contains all the information necessary to run the specimen.
Definition at line 226 of file BinaryConcolic.h.
#include <BinaryConcolic.h>
Public Types | |
typedef Sawyer::SharedPointer< TestCase > | Ptr |
Reference counting pointer to a TestCase. More... | |
Public Member Functions | |
std::string | printableName (const DatabasePtr &db=DatabasePtr()) |
Returns printable name of test case for diagnostic output. More... | |
bool | hasConcolicTest () const |
returns if the test has been run concollically. More... | |
void | concolicTest (bool) |
sets the status of the concolic test to true. More... | |
bool | hasConcreteTest () const |
returns if the test has been run concretely. More... | |
Sawyer::Optional< double > | concreteRank () const |
returns the concrete rank. More... | |
void | concreteRank (Sawyer::Optional< double > val) |
sets the concrete rank. More... | |
std::string | name () const |
Property: Test case name. More... | |
void | name (const std::string &) |
Property: Test case name. More... | |
Specimen::Ptr | specimen () const |
Property: Specimen. More... | |
void | specimen (const Specimen::Ptr &) |
Property: Specimen. More... | |
std::vector< std::string > | args () const |
Command line arguments. | |
void | args (std::vector< std::string > arguments) |
Command line arguments. | |
std::vector< EnvValue > | env () const |
Environment variables. | |
void | env (std::vector< EnvValue > envvars) |
Environment variables. | |
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... | |
Public Member Functions inherited from Sawyer::SharedFromThis< TestCase > | |
SharedPointer< TestCase > | sharedFromThis () |
Create a shared pointer from this . More... | |
SharedPointer< const TestCase > | sharedFromThis () const |
Create a shared pointer from this . More... | |
Static Public Member Functions | |
static Ptr | instance () |
Allocating default constructor. More... | |
static Ptr | instance (const Specimen::Ptr &specimen) |
Allocating constructor. More... | |
Reference counting pointer to a TestCase.
Definition at line 229 of file BinaryConcolic.h.
|
inlinestatic |
Allocating default constructor.
Definition at line 247 of file BinaryConcolic.h.
|
static |
Allocating constructor.
std::string Rose::BinaryAnalysis::Concolic::TestCase::name | ( | ) | const |
Property: Test case name.
This should be a printable name, such as a specimen name and/or serial number. It's used mostly for informational purposes such as debugging. There is no requirement that the name be unique or non-empty.
Thread safety: This method is thread safe.
void Rose::BinaryAnalysis::Concolic::TestCase::name | ( | const std::string & | ) |
Property: Test case name.
This should be a printable name, such as a specimen name and/or serial number. It's used mostly for informational purposes such as debugging. There is no requirement that the name be unique or non-empty.
Thread safety: This method is thread safe.
std::string Rose::BinaryAnalysis::Concolic::TestCase::printableName | ( | const DatabasePtr & | db = DatabasePtr() | ) |
Returns printable name of test case for diagnostic output.
Returns a string suitable for printing to a terminal, containing the words "test case", the database ID if appropriate, and the test case name using C-style double-quoted string literal syntax if not empty. The database ID is shown if a non-null database is specified and this test case exists in that database.
Specimen::Ptr Rose::BinaryAnalysis::Concolic::TestCase::specimen | ( | ) | const |
Property: Specimen.
The specimen that is being examined by this test case.
Thread safety: This method is thread safe.
void Rose::BinaryAnalysis::Concolic::TestCase::specimen | ( | const Specimen::Ptr & | ) |
Property: Specimen.
The specimen that is being examined by this test case.
Thread safety: This method is thread safe.
bool Rose::BinaryAnalysis::Concolic::TestCase::hasConcolicTest | ( | ) | const |
returns if the test has been run concollically.
void Rose::BinaryAnalysis::Concolic::TestCase::concolicTest | ( | bool | ) |
sets the status of the concolic test to true.
bool Rose::BinaryAnalysis::Concolic::TestCase::hasConcreteTest | ( | ) | const |
returns if the test has been run concretely.
Sawyer::Optional<double> Rose::BinaryAnalysis::Concolic::TestCase::concreteRank | ( | ) | const |
returns the concrete rank.
void Rose::BinaryAnalysis::Concolic::TestCase::concreteRank | ( | Sawyer::Optional< double > | val | ) |
sets the concrete rank.