A reven server. This is the root api object.

e.g: >>> import reven2 as rvn2

>>> reven_server = rvn2.RevenServer("localhost", 13370)
>>> reven_server
Reven server (localhost:13370) [connected]
>>> reven_server.host
localhost
>>> reven_server.port
13370
>>> reven_server.is_connected()
True
>>> reven_server.disconnect()
>>> reven_server.status()
disconnected
>>> reven_server.connect()
>>> reven_server.status()
connected
Method __init__ Connect to a Reven server.
Method host Property: The reven host.
Method port Property: The reven port.
Method is_connected Check the current connection status.
Method connect Connect to the reven host.
Method disconnect Disconnect from the reven host.
Method status Get the connection status string.
Method trace Property: Get a reven2.trace.Trace instance, which is the entry point for information related to a trace, mostly transitions & contexts.
Method ossi Property: Get a reven2.ossi.Ossi instance, which is the entry point for information related to OSSI (OS Semantic Information) such as executed binaries.
Method __repr__ Undocumented
def __init__(self, host, port):

Connect to a Reven server.

ParametershostThe reven host.
portThe reven port.
@property
def host(self):

Property: The reven host.

Information

ReturnsA string.
@property
def port(self):

Property: The reven port.

Information

ReturnsAn integer.
def is_connected(self):

Check the current connection status.

Information

ReturnsTrue, if the connection with the server is currently open. Otherwise, False.
def connect(self):

Connect to the reven host.

Use this method after having called disconnect to renew a connection to the server.

Information

RaisesRuntimeErrorIf the connection is lost, in case of bad input, or in case of internal service error.
def disconnect(self):

Disconnect from the reven host.

This method immediately closes the connection to the server. Use this method to avoid locking a licence token by keeping connections longer than wanted.

NoteClosing the last connection to a REVEN server releases its licence token.

After calling this method, the is_connected method will return False at least until the connect method is called.

After calling this method on a project, objects obtained from the server should not be used anymore. Calls to some of their methods may then raise RuntimeError exceptions.

def status(self):

Get the connection status string.

Information

Returns"connected" if currently connected, "disconnected" otherwise.
@property
def trace(self):

Property: Get a reven2.trace.Trace instance, which is the entry point for information related to a trace, mostly transitions & contexts.

Information

ReturnsA reven2.trace.Trace.
RaisesExceptionIf the server status is disconnected.
@property
def ossi(self):

Property: Get a reven2.ossi.Ossi instance, which is the entry point for information related to OSSI (OS Semantic Information) such as executed binaries.

Information

ReturnsA reven2.ossi.Ossi.
RaisesExceptionIf the server status is disconnected.
def __repr__(self):
Undocumented
API Documentation for reven2, generated by pydoctor at 2019-11-13 18:38:15.