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. |