GitHub repository: sicrs/wfm-analyser
Primary language: Rust
Description: the absolute state of memory safety