Infer

@fbinfer

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

Infer
@fbinfer
Jun 18, 2023
The workshop is about to go live 9AM eastern time. Join us in person (Magnolia 5), or watch the live stream on YouTube (youtube.com/live/_wPTcXuAW…) and interact on Discord (pldi23.sigplan.org/attending/atte…).
Infer
@fbinfer
Jun 15, 2023
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🙋‍♀️ pldi23.sigplan.org/attending/atte… Check out the program at👇 pldi23.sigplan.org/home/infer-202…
3
Infer
@fbinfer
Jun 15, 2023
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🙋‍♀️ pldi23.sigplan.org/attending/atte… Check out the program at👇 pldi23.sigplan.org/home/infer-202…
2
Infer
@fbinfer
Mar 9, 2023
We are happy to announce the fourth Infer Practitioners Workshop, co-located with #PLDI2023🥳 Submit your work on the Infer static analysis platform by April 28th, 2023. Workshop date June 18th. Details👇 pldi23.sigplan.org/home/infer-2023
Infer
@fbinfer
Dec 9, 2022
Wordle 537 1/6 🟩🟩🟩🟩🟩
Infer
@fbinfer
Dec 8, 2022
🏅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! 2022.splashcon.org/details/splash…