/safepkt

Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.

Primary LanguageShellApache License 2.0Apache-2.0

Watchers