|4 days ago||7 days ago|
|MIT License||GNU General Public License v3.0 or later|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
How to use Coq and C in practical software development for "verified C"?
1 project | reddit.com/r/C_Programming | 28 Mar 2022
Also, a much more realistic approach would be to use static analyzers, such as fbinfer: https://fbinfer.com/
How to make develop C application easier?
2 projects | reddit.com/r/C_Programming | 28 Mar 2022
There are also static analyzers, for example PVS-Studio which is commercial and solid: https://pvs-studio.com/en/ The GCC compiler, starting with version 10, has a static analyzer that you activate with the “-fanalyzer” option. It’s still quite limited but I use it. Be sure the get GCC version 11.2 or later because the analyzer got much better after version 10. Facebook has a no-cost analyzer, but I haven’t tried it yet: https://fbinfer.com/
Meta Open-Sources A Compositional Deadlock Detector for Android Java
1 project | reddit.com/r/androiddev | 9 Mar 2022
The research team at Meta has developed a new static analyzer that catches deadlocks in Java code for Android without ever running the app. What distinguished this work from past efforts is its ability to analyze revisions within large software libraries with hundreds of millions of lines–enough time and space so problems can be found before they manifest themselves as bugs or crashes. The proposed analyzer is open-sourced and forms part of the Infer static analysis framework.
infer - A static analyzer for Java, C, C++, and Objective-C open-sourced by Facebook
1 project | reddit.com/r/coding | 5 Mar 20221 project | reddit.com/r/coding | 5 Mar 20223 projects | reddit.com/r/programming | 5 Mar 20221 project | reddit.com/r/computerscience | 5 Mar 20221 project | reddit.com/r/functionalprogramming | 5 Mar 20221 project | reddit.com/r/ocaml | 5 Mar 2022
Hacker News top posts: Mar 5, 2022
2 projects | reddit.com/r/hackerdigest | 5 Mar 2022
A tool to detect bugs in Java and C/C++/Objective-C code before it ships\ (22 comments)
We haven't tracked posts mentioning SonarJava yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
SonarQube - Continuous Inspection
FindBugs - The new home of the FindBugs project
PMD - An extensible multilanguage static code analyzer.
Error Prone - Catch common Java mistakes as compile-time errors
Checkstyle - Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Awesome-Design-Tools - The best design tools and plugins for everything 👉