safepkt-backend 1.0.0

A backend to run static analysis tools against rust-based programs.
Documentation