#automatic #check #borrow #run-time #violation #analysis #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

#77 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
~180K SLoC