klee-bindings

Raw Rust bindings to KLEE

NOTE klee-bindings does not rely on the standard library and requires the cty crate for both std and no_std environments.

License

Licensed under MIT. See LICENSE.

Contributing

See CONTRIBUTING.md.

lib.rs:

Raw Rust bindings to KLEE.

This crate can be used to create Rust bindings to KLEE using bindgen. It provides unsafe FFI to the local KLEE library. Works without the standard library, but you will need the cty crate to use it.

Please refer to the official KLEE documentation on how to use it.