klee-bindings

对KLEE的原始Rust绑定

注意 klee-bindings 不依赖于标准库，并在 std 和 no_std 环境中都需要 cty crate。

许可协议

根据MIT许可。请参阅 LICENSE。

贡献

请参阅 CONTRIBUTING.md。

lib.rs:

对KLEE的原始Rust绑定。

该包可以使用bindgen创建Rust绑定到KLEE。它提供了对本地KLEE库的不安全FFI。无需标准库，但您需要 cty crate才能使用它。

请参考官方KLEE文档了解如何使用。