Based on our record, Nim (programming language) seems to be a lot more popular than Coverity Scan. While we know about 149 links to Nim (programming language), we've tracked only 4 mentions of Coverity Scan. 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.
> I'm interested to see whether the final feature set will be larger than what you'd get by creating a type-safe language with a pythonic syntax and compiling that to native, rather than building custom hardware. It almost sounds like you're asking for Nim ( https://nim-lang.org/ ); and there are some projects using it for microcontroller programming, since it compiles down to C (for ESP32, last I saw). - Source: Hacker News / about 1 month ago
I think Nim might be a good candidate. https://nim-lang.org. - Source: Hacker News / 3 months ago
It’s not popular compared to Go/Rust, but many find Nim scratches that itch: https://nim-lang.org/. - Source: Hacker News / 3 months ago
FWIW, Nim (the programming language) is certainly interesting and possibly underrated. https://nim-lang.org/. - Source: Hacker News / 4 months ago
If not, Nim is probably the closest most 'Python-like' language that is almost as fast as C. https://nim-lang.org/. - Source: Hacker News / 7 months ago
You can use Coverity for free on open source code. I use it on an app I open sourced for packet processing. https://scan.coverity.com/. Source: over 3 years ago
Scan.coverity.com — Static code analysis for Java, C/C++, C# and JavaScript, free for Open Source. - Source: dev.to / almost 4 years ago
I personally remember Coverity Scan being completely offline for like 6 months while they tried to deal with infrastructure abuse from people mining bitcoin on their computing clusters. Source: about 4 years ago
> Does anyone know any good static analysers other than gcc's or clang's? Visual C++ as well, because since the XP SP2 issues, Microsoft has come up with SAL, which you can also use on your own code, https://docs.microsoft.com/en-us/cpp/code-quality/using-sal-annotations-to-reduce-c-cpp-code-defects?view=msvc-160 Then specialized tooling just for this purpose, just two examples, https://scan.coverity.com/... - Source: Hacker News / about 4 years ago
Crystal (programming language) - Programming language with Ruby-like syntax that compiles to efficient native code.
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.
Go Programming Language - Go, also called golang, is a programming language initially developed at Google in 2007 by Robert...
Checkmarx - The industry’s most comprehensive AppSec platform, Checkmarx One is fast, accurate, and accelerates your business.
D (Programming Language) - D is a language with C-like syntax and static typing.
Veracode - Veracode's application security software products are simpler and more scalable to increase the resiliency of your application infrastructure.