reven2.preview.taint.Progress

class documentation

class Progress(object):

View In Hierarchy

Represent the status of the taint at the point where it was requested.

It contains the last state known by the taint process, in addition to the status of the taint process (NotStarted, Running, Finished or Canceled).

Warnings

This object is not meant to be constructed directly. Use Taint.progress instead.

Examples

>>> # from taint object
>>> progress = taint.progress()
>>> # Get the progress of the taint
Method __init__ Undocumented
Method __repr__ Undocumented
Property last_known_state Property: The last known state of the taint, After this state no result can be retrieved at the moment
Property status Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)
Instance Variable _last_known_state Undocumented
Instance Variable _status Undocumented
def __init__(self, trace, taint_data, rvn_progress):

Undocumented

Parameters
trace:_TraceUndocumented
taint_data:_TaintDataUndocumented
rvn_progressUndocumented
def __repr__(self):

Undocumented

@property
last_known_state: TaintState =

Property: The last known state of the taint, After this state no result can be retrieved at the moment

Examples

>>> print(progress.last_known_state)
Taint state at Context before #2847570053

Information

Returns
A TaintState instance.
@property
status =

Property: The status of the taint, can be one of (ProgressStatus.NotStarted, ProgressStatus.Running, ProgressStatus.Finished, ProgressStatus.Canceled)

Examples

>>> print(progress.status)
ProgressStatus.Finished

Information

Returns
A ProgressStatus instance.
_last_known_state =

Undocumented

_status =

Undocumented