Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result Class Reference

Description

Base class for user-defined Linux concrete execution results.

Definition at line 438 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

Inheritance diagram for Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result:

Collaboration diagram for Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result:

Public Member Functions
	Result (double rank, int exitStatus)
int	exitStatus () const
	Property: Exit status of the executable. More...
void	exitStatus (int x)
	Property: Exit status of the executable. More...
std::string	out () const
	Property: Output to STDOUT and STDERR of the executable. More...
void	out (const std::string &output)
	Property: Output to STDOUT and STDERR of the executable. More...
std::string	err () const
	Property: Output to STDOUT and STDERR of the executable. More...
void	err (const std::string &output)
	Property: Output to STDOUT and STDERR of the executable. More...
std::string	exitKind () const
	Property: textual representation of how a test exited. More...
Public Member Functions inherited from Rose::BinaryAnalysis::Concolic::ConcreteExecutor::Result
	Result (double rank)
double	rank () const

Protected Attributes
int	exitStatus_
	Exit status as returned by waitpid[2]. More...
std::string	exitKind_
	Textual representation how the Result exited.
std::string	capturedOut_
	Output written to STDOUT.
std::string	capturedErr_
	Output written to STDERR.

Member Function Documentation

int Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::exitStatus ( ) const

inline

Property: Exit status of the executable.

The executable exit status is the value returned by waitpid[2] and contains not only the argument of the program's "exit" function, but also information about whether the program called exit or was terminated by a signal, and whether the signal produced a core dump.

Definition at line 474 of file BinaryConcolic.h.

References exitStatus_.

void Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::exitStatus

(

int

x

)

Property: Exit status of the executable.

The executable exit status is the value returned by waitpid[2] and contains not only the argument of the program's "exit" function, but also information about whether the program called exit or was terminated by a signal, and whether the signal produced a core dump.

std::string Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::out ( ) const

inline

Property: Output to STDOUT and STDERR of the executable.

Definition at line 481 of file BinaryConcolic.h.

References capturedOut_.

void Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::out ( const std::string &  output )

inline

Property: Output to STDOUT and STDERR of the executable.

Definition at line 482 of file BinaryConcolic.h.

std::string Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::err ( ) const

inline

Property: Output to STDOUT and STDERR of the executable.

Definition at line 484 of file BinaryConcolic.h.

References capturedErr_.

void Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::err ( const std::string &  output )

inline

Property: Output to STDOUT and STDERR of the executable.

Definition at line 485 of file BinaryConcolic.h.

std::string Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::exitKind ( ) const

inline

Property: textual representation of how a test exited.

The property is set together with exitStatus.

Definition at line 491 of file BinaryConcolic.h.

References exitKind_.

Member Data Documentation

int Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::exitStatus_

protected

Exit status as returned by waitpid[2].

Definition at line 440 of file BinaryConcolic.h.

Referenced by exitStatus().

---

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

• BinaryConcolic.h