3 ms·
Big tech uses static analyzers a lot. See for example, these projects: - https://fbinfer.com/ https://fbinfer.com/ (<- This one was a breakthrough in static an
by solomatov 4y ago
Big tech uses static analyzers a lot. See for example, these projects:
- https://fbinfer.com/ https://fbinfer.com/ (<- This one was a breakthrough in static analysis in its time)
- https://github.com/google/error-prone https://github.com/google/error-prone
- https://github.com/facebook/SPARTA https://github.com/facebook/SPARTA
And many others
- boulos 4y agoMany 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 https://clang.llvm.org/extra/clang-tidy/checks/list.html
- johnny-lee 4y agoMicrosoft 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-archive/cc723542(v=technet.10) https://learn.microsoft.com/en-us/previous-versions/tn-archi...