News for hackers. Stuff that matters.
Re:Prusti: Static Analyzer for Rust by ainar-g on Thursday October 13, 2022 @04:41PM (#33196217)
Luckily for you, it's all open-source, heh.

https://github.com/AdguardTeam/AdGuardDNS/blob/master/script...

https://github.com/AdguardTeam/AdGuardDNS/blob/master/script...

There's some mess in there, but if you only need a list of analysers and examples of usage, these should be enough.

There are no comments on this comment yet.