Infer
@fbinfer
Followers
1K
Following
81
Statuses
165
A static analysis platform for Java, Kotlin, C, C++, Objective-C, Erlang, C# (via Infer#), and Hack.
Joined June 2015
The workshop is about to go live 9AM eastern time. Join us in person (Magnolia 5), or watch the live stream on YouTube ( and interact on Discord (.
The 4th edition of the Infer workshop (co-located with @PLDI in Orlando🌴) is this Sunday (18th). You can join online for free on Discord🙋♀️ Check out the program at👇
3
2
11
RT @AzaleaRaad: @PeterOHearn12 @QLocLe @fbinfer @HerrDreyer Delighted to have received the SIGPLAN distinguished paper award for our work o…
0
3
0
RT @PeterOHearn12: A distinguished paper award for our OOPSLA'22 paper on incorrectness logic analysis came as pleasant news. Congrats in p…
0
13
0
🏅ACM SIGPLAN Distinguished Paper awarded to the formalisation of Pulse-X, a close cousin of Infer's new memory and value analysis Pulse, in particular its inter-procedural bug reporting criterion. Read on!
0
3
5
Hot off the press, a new post by our own @artem_pyanykh and @Geralt_Encore telling about real-world impact of static analysis for Java null-safety. Read to the end to see some cool stats!
Learn about Meta’s new tool for handling NullPointerException (NPE) errors in Java code at scale. Here’s how we developed #Nullsafe, & how this tool has helped significantly reduce our overall number of NPE errors & improved developer productivity.
0
2
5
RT @himynameisakos: You can now rewatch @icfp_conference talks, including our presentation on using @Meta's @fbinfer tool for static analys…
0
5
0
Still seeing zombies after Halloween? Infer# post on the Microsoft Dev Blog highlights Infer's analyses to detect resource leaks and security issues.
0
8
11
The 2021 Testing and Verification Symposium is taking place virtually this week. Lots of cool talks and daily virtual tables to share experiences and ask questions. Register and attend for free, first day is tomorrow:
0
3
14
RT @stephenmagill: Congrats to the @fbinfer, Zoncolan, and Pysa teams on winning the 2021 IEEE Computer Society Cybersecurity Award! Infer…
0
2
0
RT @fbOpenSource: Learn how @fbinfer, a powerful and #opensource static analysis tool, has become a crucial part of the refactoring effort…
0
6
0
@_binary_search There's an academic tool from Imperial college called Gillian that's promising; uses biabduction like Infer
0
0
0
RT @FacebookLondon: Congratulations to our London-based Facebook engineers @dino_distefano and @PeterOHearn12 for receiving the 2021 IEEE @…
0
7
0
RT @PeterOHearn12: (1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21
0
11
0