Infer

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

[Infer @fbinfer]

The workshop is about to go live 9AM eastern time. Join us in person (Magnolia 5), or watch the live stream on YouTube (https://t.co/TOYFV6SmUv) and interact on Discord (https://t.co/PyLv40Z7N5).

[Infer @fbinfer]

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🙋‍♀️
https://t.co/PyLv40Z7N5

Check out the program at👇
https://t.co/nIDPkJZ8Bh

[Infer @fbinfer]

YouTube link 🖥️ to the live stream will also be available, stay tuned!

[Infer @fbinfer]

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🙋‍♀️
https://t.co/PyLv40Z7N5

Check out the program at👇
https://t.co/nIDPkJZ8Bh

[Infer @fbinfer]

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👇

https://t.co/m1yWffRo7e

[Infer @fbinfer]

Wordle 537 1/6
🟩🟩🟩🟩🟩

[Peter O'Hearn @PeterOHearn12]

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

https://t.co/iOUXQGcIiK

[Infer @fbinfer]

🏅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! https://t.co/fWnvI77uCd

[Infer @fbinfer]

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!

[Engineering at Meta @Meta_Engineers]

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.

https://t.co/B0EPBRw1NF

[Ákos Hajdu @himynameisakos]

You can now rewatch @icfp_conference talks, including our presentation on using @Meta's @fbinfer tool for static analysis of @WhatsApp server's codebase: https://t.co/Mf3LDMvlhX

[Infer @fbinfer]

Still seeing zombies after Halloween? Infer# post on the Microsoft Dev Blog highlights Infer's analyses to detect resource leaks and security issues. https://t.co/55giBwrm9N

[Infer @fbinfer]

1 month left to the 3rd Infer Workshop at #PLDI2022!

👀We have 6 amazing talks coming up, check them out👇
https://t.co/9OQx85f1R8

[Infer @fbinfer]

We are happy to announce the third Infer Practitioners Workshop, co-located with #PLDI2022🥳

Submit your work on the Infer static analysis platform by April 29th, 2022. Details👇

https://t.co/gSmnJFv4b4

[Infer @fbinfer]

We are happy to announce the third Infer Practitioners Workshop, co-located with #PLDI2022🥳

Submit your work on the Infer static analysis platform by April 29th, 2022. Details👇

https://t.co/gSmnJFv4b4

[Infer @fbinfer]

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: https://t.co/x5bq53jIbU

[Stephen @stephenmagill]

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. https://t.co/ZPgGHGcY3R

[Meta Open Source @MetaOpenSource]

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: https://t.co/TkLqxbqjId

[Infer @fbinfer]

@_binary_search There's an academic tool from Imperial college called Gillian that's promising; uses biabduction like Infer
https://t.co/pEy1Hnbh5r

[Infer @fbinfer]

Our good friends over at Glean have made their work open source!

[Simon Marlow @simonmar]

I'm delighted that we're finally able to open source Glean, the system we're building at Facebook for collecting and querying information about code:

https://t.co/xhrwWEFmrT

[1/8]

[Peter O'Hearn @PeterOHearn12]

(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21

https://t.co/tMT7pOjA1v

[Stephen @stephenmagill]

Impressive stats from Facebook's work on null safety. @fbinfer @artem_pyanykh