|5 days ago||6 days ago|
|MIT License||GNU Lesser General Public License v3.0 only|
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.
Should I Rust or should I Go
7 projects | news.ycombinator.com | 15 Sep 2023
Enforcing Memory Safety?
3 projects | /r/cpp | 7 Jun 2023
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.
Interesting ocaml mention in buck2 by fb
5 projects | /r/ocaml | 9 Apr 2023
Meta/Facebook are long time OCaml users, their logo is on the OCaml website. Their static analysis tool and its predecessor are both written in OCaml.
A plan for cybersecurity and grid safety
6 projects | dev.to | 10 Feb 2023
Efforts: Dependabot, CodeQL, Coverity, facebook's Infer tool, etc
A quick look at free C++ static analysis tools
3 projects | /r/cpp | 4 Jan 2023
I notice there isn't fbinfer. It's pretty cool, and is used for this library.
OCaml 5.0 Multicore is out
19 projects | news.ycombinator.com | 16 Dec 2022
Beyond Functional Programming: The Verse Programming Language (Epic Games' new language with Simon Peyton Jones)
5 projects | /r/programming | 12 Dec 2022
TBH, there's a non-zero amount of non-"ivory tower" tools you may have used that are written in functional languages. Say, Pandoc or Shellcheck are written in Haskell; Infer and Flow are written in OCaml. RabbitMQ and Whatsapp are implemented in Erlang (FB Messenger was too, originally; they switched to the C++ servers later). Twitter backend is (or was, at least) written in Scala.
The State of Affine Types in C++?
2 projects | /r/cpp | 22 Nov 2022
- borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking.
Prusti: Static Analyzer for Rust
8 projects | news.ycombinator.com | 13 Oct 2022
Programming Breakthroughs We Need
17 projects | news.ycombinator.com | 17 Aug 2022
> Maybe you could write tests as queries that would test a whole set of possible programs, not only the current version of your program at the moment.
I think that the future of programming is more sophisticated static analysis. Programmers will write statements like, "every code path that writes to the Payments database must have called validate_user()." Then, the tooling will confirm that rule with every commit.
We kind of have this already (for example, Facebook's Infer tool ), but I think it will become much more important in the coming decade.
Primeiros passos no desenvolvimento Java em 2023: um guia particular
13 projects | dev.to | 19 Jan 2023
Ask HN: What is a modern Java environment?
22 projects | news.ycombinator.com | 29 Mar 2022
PMD, Spotbugs, Nullaway: Java linting/static analysis (https://pmd.github.io, https://spotbugs.github.io, https://github.com/uber/NullAway)
What are some useful static analyzers for Java?
9 projects | /r/java | 2 Jan 2022
Go CheckLocks Analyzer
4 projects | news.ycombinator.com | 29 Dec 2021
Is there a tool to track CVEs for the software that we use?
8 projects | /r/sysadmin | 14 Dec 2021
While at it you could also point them to static code analyzers such as error_prone, spotbugs and pmd (use all 3 at once - they complement each other in detecting different issues).
SpotBugs supports SARIF that supports integration with other SAST tools
2 projects | dev.to | 16 Oct 2021
First, it's better to use SpotBugs 4.4.1 and above, that includes a fix to make SARIF report compatible with Github code scanning API requirements.
Looking for a Static Code Analysis tool for Scala Code
2 projects | /r/cybersecurity | 28 Aug 2021
If you don’t have checkmarx/Vera code money, have you looked at https://find-sec-bugs.github.io/? It can be used with a few things such as https://spotbugs.github.io/ and sonarQ
An Incomplete List of Practical Security for Mortals
9 projects | dev.to | 6 Jul 2021
some good tools for general code analysis (Java): Sonarqube, PMD, SpotBugs
Conducting SAST for Java Applications
2 projects | /r/java | 15 Apr 2021
Static application security testing (SAST) is essential in tackling the source code vulnerabilities, late diagnosis of problems, and lack of root-cause analysis. This post describes how to carry out SAST in your Java application using SpotBugs.
Web Application Security Checklist (2021)
10 projects | dev.to | 16 Feb 2021
What are some alternatives?
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
SonarJava - :coffee: SonarSource Static Analyzer for Java Code Quality and Security
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.
semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.