Shellcheck
Cppcheck
Coverity Scan
SonarQube
Flawfinder
PVS-Studio
Codacy
Clang Static Analyzer
Splint
Coverity Scan
Cppcheck
Checkmarx
Flawfinder
SonarQube
PVS-Studio
CodeSonar
Shellcheck SplintBased on our record, Shellcheck should be more popular than Splint. It has been mentiond 30 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
The other ones most people point to are https://pandoc.org and https://shellcheck.net. - Source: Hacker News / over 1 year ago
> Are "Random shell scripts from the internet" categorically worse than "random docker images from the internet"? > With the shell script, you can literally read it in an ... ... https://shellcheck.net. Can't do that if all of the work is hidden in a Dockerfile's RUN statement. I have my team commit shell scripts in shell script files, and the Dockerfile just runs that shell script. - Source: Hacker News / over 2 years ago
Nice script. It's... uhhh... Not shellcheck-clean. https://shellcheck.net/. - Source: Hacker News / about 3 years ago
Another fairly valuable resource is https://shellcheck.net which I use a bit more often than ChatGPT if I need help scripting. Source: over 3 years ago
Always check your shell scripts at a site like http://shellcheck.net. Source: over 3 years ago
> My gut feeling is You're probably right, I was saying it just can be transferred, with a large "just". > the fact that neither GCC nor Clang appear to have discussed reusing concepts from their optimizer passes to recreate the borrow checker or borrow checker-like functionality There is however a commitment from GCC, that every UB the compiler exploits must be reported by -fanalyzer, otherwise it's a compiler... - Source: Hacker News / 12 months ago
Whenever I see people talk about the portability or compatibility advantages of C, I'm reminded of how "even C isn't compatible with C", because you typically aren't talking about up-to-date GCC or LLVM on these niche platforms... you're talking about some weird or archaic vendor-provided compiler... Possibly with syntax extensions that static analyzers like splint will choke on. (Splint can't even understand near... Source: over 3 years ago
Huh. I think I actually needed to use the equivalent position for certain splint annotations in my C retro-hobby project. Source: over 3 years ago
I often like to say that Rust's bindings are a way to trick people into writing the compile-time safety annotations that they didn't want to write for things like splint. (Seriously. Look into how much splint is capable of checking with the correct annotations.). Source: over 3 years ago
Linters like Splint [0] can do that for C. Iโm not saying that Rustโs built-in approach isnโt better, but please be careful about what exactly you claim. [0] http://splint.org/. - Source: Hacker News / almost 4 years ago
Cppcheck - Cppcheck is an analysis tool for C/C++ code. It detects the types of bugs that the compilers normally fail to detect. The goal is no false positives. CppCheckDownload cppcheck for free.
Coverity Scan - Find and fix defects in your Java, C/C++ or C# open source project for free
SonarQube - SonarQube, a core component of the Sonar solution, is an open source, self-managed tool that systematically helps developers and organizations deliver Clean Code.
Checkmarx - The industryโs most comprehensive AppSec platform, Checkmarx One is fast, accurate, and accelerates your business.
Flawfinder - David A. Wheeler's Page for Flawfinder
PVS-Studio - PVS-Studio is a useful piece of software for detecting problems in source code. The software examines program codes written in C, C++, and C# for any problems that might prohibit the code from functioning properly.
