#verification #interpreter #monitoring


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

1 unstable release

0.1.0 Dec 19, 2022

#33 in #verification

33 downloads per month
Used in rtlola-cli



RTLola logo

RTLola Interpreter Input 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 a CLI interface to the interpreter capable of reading csv and pcap files.

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

Input Plugins

This crate contains multiple input plugins to be used with the rtlola-interpreter. Right now, it supports CSV and PCAP files. Each plugin (or input method) is marked with a feature flag, so only the needed input variants can be included. By default, all input plugins are included.


Copyright (C) CISPA - Helmholtz Center for Information Security 2021. 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.


~298K SLoC