News for hackers. Stuff that matters.

A comment on Prusti: Static Analyzer for Rust. Parent comment

Re:Prusti: Static Analyzer for Rust by smaddox on Thursday October 13, 2022 @02:37PM (#33194767)
Could you comment on the others you use? I would like to start using a lot more static analysis at $job.
[ Parent | on HN ]
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.

[ Parent | on HN ]