10 个版本
| 0.3.2 | 2024 年 6 月 28 日 |
|---|---|
| 0.3.1 | 2023 年 2 月 2 日 |
| 0.3.0 | 2022 年 12 月 19 日 |
| 0.2.1 | 2022 年 4 月 11 日 |
| 0.1.2 | 2021 年 5 月 28 日 |
在 #analyzer 中排名 31
每月下载 103 次
用于 8 个crate (2 直接使用)
245KB
5K SLoC
RTLola 解析器
RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范，分析它，并为它生成可执行的监控器。该框架分为前端和几个后端。
此 crate 是 RTLola 前端的一部分，包括几个子模块
- 主 crate：RTLola 前端：rtlola-frontend
- RTLola 高级中间表示，包括强大的静态分析：rtlola-hir
- RTLola 错误报告：rtlola-reporting
- 过程宏：rtlola-macros
版权
版权 (C) CISPA - Helmholtz 信息技术安全研究中心 2021-24。作者：Jan Baumeister，Florian Kohn，Stefan Oswald，Frederik Scheerer，Malte Schledjewski，Maximilian Schwenger。基于德国萨尔大学的原始工作 (C) 2020。作者：Jan Baumeister，Florian Kohn，Malte Schledjewski，Maximilian Schwenger，Marvin Stenger，和 Leander Tentrup。
依赖项
~4–12MB
~130K SLoC