Crystal (programming language)
Nim (programming language)
Go Programming Language
V (programming language)
C++
Perl
D (Programming Language)
Zig
Cppcheck
Clang Static Analyzer
Coverity Scan
lgtm.com
SonarQube
VisualCodeGrepper
Flawfinder
Parasoft C/C++test
Crystal (programming language)
CppcheckCppcheck is recommended for C/C++ developers and development teams, particularly those responsible for maintaining large codebases or projects where code quality and reliability are paramount. It is also beneficial for educational purposes, where students and new developers can learn about potential pitfalls in C/C++ programming.
No Crystal (programming language) videos yet. You could help us improve this page by suggesting one.
Based on our record, Crystal (programming language) seems to be a lot more popular than Cppcheck. While we know about 123 links to Crystal (programming language), we've tracked only 10 mentions of Cppcheck. 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.
Which can include type assertions but also a lot more. The agents seem to do well with this. I've also had good results using agents to write Crystal https://crystal-lang.org/ which is Ruby-like but does have the static types and produces blazing fast static binaries. Might be a sweet spot for coding agents if you're building some backend services. But I'd still pick Ruby on Rails for a new full stack project. - Source: Hacker News / about 2 months ago
Sounds a lot like Crystal, which is also similar to Ruby and features a green fiber runtime: https://crystal-lang.org/#concurrency. - Source: Hacker News / 2 months ago
> 1. Go with a better type system. A compiled language, that has sum types, no-nil, and generics. I was looking for something like that and eventually found Crystal (https://crystal-lang.org) as a closest match: LLVM compiled, strong static typing with explicit nulls and very good type inference, stackfull coroutines, channels etc. - Source: Hacker News / 5 months ago
Wondering why https://crystal-lang.org/ hasn't been mentioned in the comments. - Source: Hacker News / 8 months ago
> What kind of code snippets could you suggest? Anything really! Some websites that do this currently: https://ziglang.org, https://crystal-lang.org and https://www.ruby-lang.org/en > I have a comparison table mentioning features Yes - I did see this in the README. Maybe worth adding it, or something similar to the website. - Source: Hacker News / 9 months ago
I dedicated Sunday morning to going over the documentation of the linters we use in the project. The goal was to understand all options and use them in the best way for our project. Seeing their manuals side by side was nice because even very similar things are solved differently. Cppcheck is the most configurable and best documented; JSON Lint lies at the other end. - Source: dev.to / over 2 years ago
Using infer, someone else exploited null-dereference checks to introduce simple affine types in C++. Cppcheck also checks for null-dereferences. Unfortunately, that approach means that borrow-counting references have a larger sizeof than non-borrow counting references, so optimizing the count away potentially changes the semantics of a program which introduces a whole new way of writing subtly wrong code. Source: about 3 years ago
For my own projects, I used cppcheck. You can check out that tool to get a feel. Depending on what industry your in, you might need to follow a standard like Misra. Source: over 3 years ago
Https://cppcheck.sourceforge.io/ (there are many other static analysis tools, I just haven't used them or didn't care for them). Source: over 3 years ago
Sounds like something that could simply be communicated with the team that writes the tests. Unless you have dozens of such classes. In that case, you could just use e.g. Cppcheck and add a rule (regular expression) that searches for usages of the forbidden classes. Source: over 3 years ago
Nim (programming language) - The Nim programming language is a concise, fast programming language that compiles to C, C++ and JavaScript.
Clang Static Analyzer - The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C...
Go Programming Language - Go, also called golang, is a programming language initially developed at Google in 2007 by Robert...
Coverity Scan - Find and fix defects in your Java, C/C++ or C# open source project for free
V (programming language) - Simple, fast, safe, compiled language for developing maintainable software.
lgtm.com - lgtm.com is a platform for code analytics.