|6 days ago||about 23 hours 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.
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
Error Prone - Catch common Java mistakes as compile-time errors
FindBugs - The new home of the FindBugs project
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.
fastlane-plugin-appicon - Generate required icon sizes and iconset from a master application icon.
R.swift - Strong typed, autocompleted resources like images, fonts and segues in Swift projects