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.
We haven't tracked posts mentioning FindBugs yet.
Tracking mentions began in Dec 2020.
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)
What are some alternatives?
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
SonarQube - Continuous Inspection
Error Prone - Catch common Java mistakes as compile-time errors
PMD - An extensible multilanguage static code analyzer.
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.
SonarJava - :coffee: SonarSource Static Analyzer for Java Code Quality and Security
fastlane-plugin-appicon - Generate required icon sizes and iconset from a master application icon.