News for hackers. Stuff that matters.

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

Re:Prusti: Static Analyzer for Rust by solomatov on Thursday October 13, 2022 @10:51AM (#33191788)
Big tech uses static analyzers a lot. See for example, these projects:

- https://fbinfer.com/ (<- This one was a breakthrough in static analysis in its time)

- https://github.com/google/error-prone

- https://github.com/facebook/SPARTA

And many others

[ Parent | on HN ]
Re:Prusti: Static Analyzer for Rust by boulos on Thursday October 13, 2022 @11:33AM (#33192420)
Many of Google's general checks in clang-tidy should be directly available, too. For example, the absl checks seem to be on the list of clang-tidy checks:

https://clang.llvm.org/extra/clang-tidy/checks/list.html

[ Parent | on HN ]
Re:Prusti: Static Analyzer for Rust by johnny-lee on Thursday October 13, 2022 @04:44PM (#33196249)
Microsoft bought and adapted PREfix and created a simpler, faster version called PREfast (and the Visual Studio -analyzer switch for C/C++/C# code).

see tools section in https://learn.microsoft.com/en-us/previous-versions/tn-archi...

[ Parent | on HN ]