https://github.com/2over12/rure
Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
https://github.com/2over12/rure
Last synced: 10 months ago
JSON representation
Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
- Host: GitHub
- URL: https://github.com/2over12/rure
- Owner: 2over12
- Created: 2019-04-07T20:35:32.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-04-26T04:57:04.000Z (about 7 years ago)
- Last Synced: 2023-08-22T18:12:30.829Z (almost 3 years ago)
- Language: Rust
- Size: 5.28 MB
- Stars: 6
- Watchers: 3
- Forks: 0
- Open Issues: 0
Awesome Lists containing this project
- Awesome-Rust-Checker - rure - 04-26 | (Verifiers)