dwrensha / seer

symbolic execution engine for Rust

dwrensha/seer Issues

Build failed
Updated 2 years ago1
breakage from latest nightly
Updated 6 years ago
Unexpected error instead of `Err(panic)` when MIR for std is present
Updated 6 years ago
Support for `numeric_intrinsic`s
Closed 6 years ago2
Anyway to use Seer for concolic testing?
Updated 6 years ago1
Verification potential
Updated 7 years ago1
can't handle type X with layout General { ... }
Closed 7 years ago1
base64 example in README no longer works without xargo-built libstd
Closed 7 years ago1