Infer by Facebook Reviews and details

Social recommendations and mentions

• An Introduction to Temporal Logic (With Applications to Concurrency Problems)

  I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able. But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. ... - Source: Hacker News / about 1 year ago

• Enforcing Memory Safety?

  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: almost 2 years ago

• CISA Director Easterly's comments about cyber security. Agree or disagree?

  Then this idea that the US government will tell tech companies how to write secure software. Let's get this straight, the private sector, especially big tech is miles ahead of US government in this regard. Microsoft literally invented threat modelling and modern exploit mitigations. Facebook has the best appsec processes pretty much in the whole world, including their own cutting edge code analyzer. AWS uses... Source: about 2 years ago

• A quick look at free C++ static analysis tools

  I notice there isn't fbinfer. It's pretty cool, and is used for this library. Source: about 2 years ago

• silly guy

  "Move fast, break stuff" is a great approach when you aren't pushing the broken bits to production. Fuck, even Facebook, the big "move fast, break stuff" company, uses tools to detect errors in its continuous integration toolchain. https://fbinfer.com/. Source: over 2 years ago

• Beyond Functional Programming: The Verse Programming Language (Epic Games' new language with Simon Peyton Jones)

  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. Source: over 2 years ago

• The State of Affine Types in C++?

  - borrow-cpp which exploits some null dereference checks in the infer static analyzer to model some of borrow checking. Source: over 2 years ago

• Crunchy Bridge's Ruby Back End: Sorbet, Tapioca, and Parlour

  Infer kind of does this, it has multiple frontends and provides linting capabilities https://fbinfer.com. - Source: Hacker News / over 2 years ago