#interpreter #monitoring #verification #csv

rtlola-input-plugins

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

1 unstable release

0.1.0 Dec 19, 2022

#93 in #verification


Used in rtlola-cli

Apache-2.0

390KB
8K SLoC

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

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.

Dependencies

~10–23MB
~312K SLoC