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.
rust cli research llvm static-analysis memory-safety vscode-extension termination ink nuxtjs klee substrate rustc
-
Updated
Nov 24, 2021 - Shell