@fbinfer

A static analysis platform for Java, Kotlin, C, C++, Objective-C, Erlang, C# (via Infer#), and Hack.

fbinfer.com/
Joined June 2015
  • Tweets161
  • Following10
  • Followers1.1K
15Media
A distinguished paper award for our OOPSLA'22 paper on incorrectness logic analysis came as pleasant news. Congrats in particular to lead author @QLocLe for his perseverence after rejection by a previous conference. @fbinfer @HerrDreyer @AzaleaRaad dl.acm.org/doi/10.1145/35273…

Finding real bugs in big programs with incorrectness logic | Proceedings of the ACM on Programming...

Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to Hoare Logic, which is used to compositionally prove their absence....

dl.acm.org
5
11
2
97
You can now rewatch @icfp_conference talks, including our presentation on using @Meta's @fbinfer tool for static analysis of @WhatsApp server's codebase: youtube.com/watch?v=ZDZtauSx…
5
13
Congrats to the @fbinfer, Zoncolan, and Pysa teams on winning the 2021 IEEE Computer Society Cybersecurity Award! Infer and Pysa are two of the most powerful tools we support on the @sonatype Lift platform and I can attest to their impact outside of FB. engineering.fb.com/2021/10/2…

Facebook engineers receive 2021 IEEE Computer Society Cybersecurity Award for static analysis tools

Until recently, static analysis tools weren’t seen by our industry as a reliable element of securing code at scale. After nearly a decade of investing in refining these systems, I’m so proud to cel…

engineering.fb.com
2
1
14
Learn how @fbinfer, a powerful and #opensource static analysis tool, has become a crucial part of the refactoring effort to migrate the whole view hierarchy of the Facebook Lite for #Android to an immutable paradigm: developers.facebook.com/blog…
1
6
3
22
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21 www0.cs.ucl.ac.uk/staff/p.oh…
1
11
1
40
Impressive stats from Facebook's work on null safety. @fbinfer @artem_pyanykh
3
17
One of my students, Aaron Beigelbeck, built a tool that enables more interactive static performance analysis in #VSCode using @fbinfer's cost analysis Check it out: youtube.com/watch?v=-GqPb_YZ… Also on GitHub: github.com/ipa-lab/vscode-in…
Maurício Aniche@mauricioaniche14 May 2021
Replying to @mauricioaniche
An interesting tool that Aaron has built (work led by @citostyle) plugs the awesome Facebook's Infer tool (which infers the complexity of your methods) within VS Code. Developers can now see if they coded a O(n2) with a single click of a mouse! mauricioaniche.com/publicati…

Interactive Static Software Performance Analysis in the IDE

Detectar problemas de desempenho devido a código abaixo do ideal durante o processo de desenvolvimento pode ser uma tarefa difícil, especialmente quando se trata de localizá-los após perceber a...

mauricioaniche.com
2
7
39
🤔 Explain like I’m Five 🤔 In 1 minute, @DmitryVinnik will explain how to get started using Infer (@fbinfer), a static analysis tool for programming languages like Java, C, C++, and Objective-C. Check it out here: youtu.be/swrmPTJAGqQ
2
11
1
20
👩🏽‍💻 What does principled user research look like for programming tools? 🤔 How did doing this change my view of what problems matter to solve? 📊 Is this something we should incorporate into PL research evaluations? Thanks @michael_w_hicks for nudging me to write about this!
Mike Hicks@michael_w_hicks27 Oct 2020
Programming languages and development tools aim to make people who use them more productive. How do we know when they succeed? @jeanqasaur has pondered this question as a professor and as a startup CEO. On PL Perspectives, she explains what she's learned. blog.sigplan.org/2020/10/27/…

What’s the Role of Developer Experience in Programming Languages Research?

Programming languages papers often talk about usability advantages, but the evaluation sections of these papers tend to focus on performance or semantic guarantees. What if we applied methods from …

blog.sigplan.org
5
8
2
29
Facebook simply would not exist today if not for Bletchley Park. It’s an honor to be able to provide the support that will help keep it open to the world. tech.fb.com/giving-back-to-t…
4
23
6
132
I will be talking about how we detect complexity increases at FB's android codebase at Infer Practitioners workshop at PLDI🎙️ It is all happening remotely. Don't forget to register and tune in!
Infer@fbinfer28 May 2020
Registration for the Infer Practitioners 2020 workshop, colocated with PLDI, is open and free! It's all happening remotely, check out the program: pldi20.sigplan.org/home/infe…. Register via the PLDI website.
1
1
10
I integrated the #Facebook static analyzer infer @fbinfer into multiple IDEs and Editors with my framework MagpieBridge. Have a look at github.com/MagpieBridge/Infe… and feel free to use it. I will be very happy to get some user feedback.

GitHub - MagpieBridge/InferIDE: IDE Integration of Facebook Infer

IDE Integration of Facebook Infer. Contribute to MagpieBridge/InferIDE development by creating an account on GitHub.

github.com
1
3
25
@johnregehr, @jvanegue and others have understandably wondered about Incorrectness Logic: what's the win for software developers? You might be interested to know, there's already been one pretty good win (of sorts) that doesn't require speculation. Read on if interested!
1
9
29
If you recently saw stuff about incorrectness logic, and wonder what to make of it: @dmolnar inspired me to do a writeup of a few examples that I found helpful to gain an intuition for it (And some Ideas on how to use it!) hexgolems.com/2020/04/incorr… (cool stuff @PeterOHearn12)
3
26
77
Infer retweeted
CAV@confCAV7 Feb 2019
Important notice! The #cav19 conference dates might shift a little bit as follows: Workshops: July 20-21 Tutorial day: July 22 Main conference: July 23-26
2
2
Getting the team together after 10 years thanks to #POPL2019.
2
4
48
Infer #staticanalysis tool use at Facebook. Shows warnings on new code diffs for code reviewer. High use and fix rate by automated analysis, low overhead for user to check once at review time. 👍 #codereview #testing #icst18
4
7
How did I miss this one. We need more distillers and less creators of tiny increments. Rejections because the work is not novel are the bane of progress. distill.pub/2017/research-de…

Research Debt

Science is a human activity. When we fail to distill and explain research, we accumulate a kind of debt...

distill.pub
7
66
6
146
Infer, cool tool from @fb_engineering for static code analysis @Codemobileuk #codemobileuk #GetYourCodeOn
4
7
Dulma Churchill reveals how @fbOpenSource automates cleaner code with Infer @mobileeraconf #mobileera
1
1
Load more