issues
search
dwrensha
/
seer
symbolic execution engine for Rust
Other
345
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Build failed
#15
ckanner
opened
2 years ago
1
breakage from latest nightly
#14
dwrensha
opened
6 years ago
0
Unexpected error instead of `Err(panic)` when MIR for std is present
#13
ghost
opened
6 years ago
0
Easier symbolic variables and output readiability
#12
ghost
closed
6 years ago
10
fix cargo seer no-trans error
#11
ghost
closed
6 years ago
1
Implement more numeric intrinsics
#10
ranma42
closed
6 years ago
1
Allow consumers to continue on error
#9
ghost
closed
6 years ago
1
Implement numeric intrinsics
#8
ranma42
closed
6 years ago
1
Support for `numeric_intrinsic`s
#7
ranma42
closed
6 years ago
2
Fix copy-and-paste
#6
ranma42
closed
6 years ago
1
Anyway to use Seer for concolic testing?
#5
minhnhdo
opened
6 years ago
1
Overflow checking for symbolic add/sub
#4
ghost
closed
6 years ago
2
Verification potential
#3
dragostis
opened
6 years ago
1
can't handle type X with layout General { ... }
#2
dwrensha
closed
7 years ago
1
base64 example in README no longer works without xargo-built libstd
#1
dwrensha
closed
7 years ago
1