reven2.prelude.RevenServer(object)
class documentationreven2.prelude
(View In Hierarchy)
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 |
Connect to a Reven server.
Parameters | host | The reven host. |
port | The reven port. |
Check the current connection status.
Returns | True , if the connection with the server is currently open.
Otherwise, False . |
Connect to the reven host.
Use this method after having called disconnect
to renew a connection to the server.
Raises | RuntimeError | If the connection is lost, in case of bad input, or in case of internal service error. |
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.
Note | Closing the last connection to a REVEN server releases its licence token.
After calling this method, the 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. |
Get the connection status string.
Returns | "connected" if currently connected, "disconnected" otherwise. |
Property: Get a reven2.trace.Trace
instance, which is the entry point for information related to a trace,
mostly transitions & contexts.
Returns | A reven2.trace.Trace . | |
Raises | Exception | If the server status is disconnected. |
Property: Get a reven2.ossi.Ossi
instance, which is the entry point for information related to OSSI (OS
Semantic Information) such as executed binaries.
Returns | A reven2.ossi.Ossi . | |
Raises | Exception | If the server status is disconnected. |