#borrow #automatic #check #run-time #analysis #violation #autoken

app cargo-autoken

A rust-lang static analysis tool to automatically check for runtime borrow violations

1 unstable release

0.1.0 Nov 11, 2023

#76 in #borrow

MIT license

33KB
724 lines

AuToken Cargo

This is the internal cargo component of autoken. You can find the overall project page here.

Dependencies

~4–14MB
~192K SLoC