search

dwrensha / seer

symbolic execution engine for Rust
Other
345 stars 7 forks source link

Verification potential #3

Open dragostis opened 6 years ago

dragostis commented 6 years ago 


My question is, how close is seer to being able to verify some pretty simplistic but long stateless code? If the effort isn't so high (more than a week or so of work), I would be interested to help get the project there.
dwrensha commented 6 years ago

Can you tell me more about the code you're interested in analyzing? If your code mostly consists of arithmetic operations and does not have many loops, then Seer might be close to being able to handling it. If it has lots of memory manipulation and possible aliasing, then Seer might have some trouble.

I've just now published v0.0.2 on crates.io.