#interpreter #monitoring #verification #plugin

rtlola-io-plugins

Input and ouput plugins to be used in the various frontends of the interpreter

2 unstable releases

0.3.0 May 15, 2025
0.2.0 Jul 2, 2024

#63 in #verification

Download history 2/week @ 2025-05-07 197/week @ 2025-05-14

199 downloads per month
Used in rtlola-cli

Apache-2.0

640KB
14K SLoC

RTLola logo

RTLola Interpreter IO Plugins

Crate API License

RTLola is a runtime monitoring framework. It consists of a parser, analyzer, and interpreter for the RTLola specification language. This crate contains an Api to the interpreter capable of reading csv and pcap files. It also provides an interface to parse and serialize bytes given to and coming from the rtlola-interpreter.

For more information on the RTLola framework make sure to visit our Website: rtlola.org

IO Plugins

This crate contains multiple input and output plugins to be used with the rtlola-interpreter. Right now, it supports CSV, PCAP files, and a Byte Plugin to parse and serialize byte streams. Each plugin (or input/output method) is marked with a feature flag, so only the needed input/output variants can be included.

Copyright

Copyright (C) CISPA - Helmholtz Center for Information Security 2024. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, Maximilian Schwenger. Based on original work at Universität des Saarlandes (C) 2020. Authors: Jan Baumeister, Florian Kohn, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, and Leander Tentrup.

Dependencies

~15–25MB
~397K SLoC