6 个版本
| 0.3.0 | 2024 年 6 月 28 日 |
|---|---|
| 0.2.2 | 2023 年 2 月 2 日 |
| 0.2.1 | 2022 年 4 月 11 日 |
| 0.2.0 | 2021 年 11 月 15 日 |
| 0.1.0 | 2021 年 4 月 8 日 |
#19 在 #reporting
96 每月下载量
用于 9 个包 (3 直接)
21KB
429 行
RTLola Reporting
RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范，分析它，并为其生成可执行的监视器。该框架分为前端和几个后端。
此包是 RTLola 前端的一部分，包括几个子模块
- 主包：RTLola 前端： rtlola-frontend
- RTLola 规范的解析器： rtlola-parser
- 包括强静态分析的 RTLola 高级中间表示： rtlola-hir
- 过程宏： rtlola-macros
版权
版权（C）CISPA - 信息安全赫尔姆霍茨研究中心 2021-24。作者：Florian Kohn，Maximilian Schwenger。基于德国萨尔大学（C）2020年的原始工作。作者：Jan Baumeister，Florian Kohn，Malte Schledjewski，Maximilian Schwenger，Marvin Stenger，以及 Leander Tentrup。
依赖关系
~2.3–10MB
~95K SLoC