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)