klee-rs

提供与KLEE交互的安全API。

此crate是klee-bindings输出上的安全包装。它不依赖于标准库，并可用于std和no_std环境。

有关如何使用它的详细信息，请参阅官方KLEE文档。

需求

• KLEE v2+

许可证

许可如下之一

• Apache License, Version 2.0 (LICENSE-APACHE 或 https://apache.ac.cn/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

任选其一。

贡献

欢迎提交问题和拉取请求！请参阅CONTRIBUTING.md。

lib.rs:

为Rust提供安全的KLEE API。

此crate可在std和no_std环境中工作。并非所有KLEE函数都有安全的包装。