klee-rs

Provides a safe API for interfacing with KLEE.

This crate is a safe wrapper on the klee-bindings output. It does not require the standard library and can be used for both stdand no_std environments.

Refer to the official KLEE documentation for how to use it.

Requirements

• KLEE v2+

License

Licensed under either of

• Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contributing

Issues and pull requests are welcomed! See CONTRIBUTING.md.