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

Description

Base class for user-defined Linux concrete execution results.

Definition at line 252 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

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

Public Member Functions

 Result (int exitStatus)
 
int exitStatus () const
 Property: Exit status of the executable. More...
 
void exitStatus (int x)
 Property: Exit status of the executable. More...
 
- Public Member Functions inherited from Rose::BinaryAnalysis::Concolic::ConcreteExecutor::Result
 Result (double rank)
 

Protected Attributes

int exitStatus_
 Exit status as returned by waitpid[2]. More...
 

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 275 of file BinaryConcolic.h.

References exitStatus_.

void Rose::BinaryAnalysis::Concolic::LinuxExecutor::Result::exitStatus ( int  x)
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 276 of file BinaryConcolic.h.

Member Data Documentation

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

Exit status as returned by waitpid[2].

Definition at line 254 of file BinaryConcolic.h.

Referenced by exitStatus().


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