Based on our record, Infer by Facebook seems to be more popular. It has been mentiond 9 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Weird that Infer [1] was not included in the evaluation. It supports C/C++ and its underlying reasoning framework (Separation Logic [2]) is exactly geared towards checking memory safety. [1] https://fbinfer.com/. - Source: Hacker News / 3 months ago
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 / over 1 year ago
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: over 2 years ago
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: over 2 years ago
I notice there isn't fbinfer. It's pretty cool, and is used for this library. Source: over 2 years ago
WeTransfer - WeTransfer is a free service to send big or small files from A to B.
Oficloud - File Sharing with enhanced privacy and security
Send Anywhere - Send whatever you want, wherever you want
Dewdrop - Drag, drop, and send ephemeral files. Revoke access anytime
Presearch - Keyword Staking - Keyword Advertising: A $100 billion dollar opportunity
Datash - Send and receive files with end-to-end encryption