3 个版本
| 0.1.2 | 2023 年 2 月 2 日 |
|---|---|
| 0.1.1 | 2021 年 4 月 8 日 |
| 0.1.0 | 2021 年 3 月 18 日 |
#139 在 #verification
每月 94 次下载
在 8 个 crate 中使用（通过 rtlola-hir）
11KB
256 行
RTLola Macros
RTLola 是一个基于流的运行时验证框架。它解析 RTLola 规范，分析它，并为其生成可执行的监视器。该框架分为前端和几个后端。
这个 crate 是 RTLola 前端的一部分，包括几个子模块
- 主 crate：RTLola 前端：rtlola-frontend
- RTLola 规范的解析器：rtlola-parser
- RTLola 的高级中间表示形式，包括强大的静态分析：rtlola-hir
- RTLola 错误报告：rtlola-reporting
版权
版权所有 © CISPA - 海尔姆霍兹信息安全中心 2021-23。作者：Maximilian Schwenger。
用于在 RTLola-Frontend 中更便捷地处理 HirModes 的过程宏。
依赖关系
~1.5MB
~35K SLoC