#interpreter #monitoring #verification

deprecated rtlola-input-plugins

Input plugins to be used in the various frontends of the interpreter; This crate is deprecated use the rtlola-io-plugins crate instead

2 releases

0.1.1 Jun 28, 2024
0.1.0 Dec 19, 2022

#143 in #verification

Download history 9/week @ 2024-03-28 6/week @ 2024-04-04 1/week @ 2024-05-23 4/week @ 2024-05-30 125/week @ 2024-06-27

125 downloads per month

Apache-2.0

500KB
10K SLoC

RTLola logo

Deprecation Warning

This crate is now deprecated. Use the rtlola-io-plugins crate instead.

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

~11–22MB
~299K SLoC