#
rustc
Here are 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the rustc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rustc topic, visit your repo's landing page and select "manage topics."