A static analysis platform for Java, Kotlin, C, C++, Objective-C, Erlang, C# (via Infer#), and Hack.
Joined June 2015
- Tweets161
- Following10
- Followers1.1K
- Likes77
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/_wPTcXuAWPY…) and interact on Discord (pldi23.sigplan.org/attending…).
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…
Check out the program at👇
pldi23.sigplan.org/home/infe…
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…
Check out the program at👇
pldi23.sigplan.org/home/infe…
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/infe…
Infer retweeted
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…
🏅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/s…
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.
ow.ly/NflC50LLbVn
Infer retweeted
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…
Still seeing zombies after Halloween? Infer# post on the Microsoft Dev Blog highlights Infer's analyses to detect resource leaks and security issues. devblogs.microsoft.com/dotne…
1 month left to the 3rd Infer Workshop at #PLDI2022!
👀We have 6 amazing talks coming up, check them out👇
pldi22.sigplan.org/home/infe…
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👇
pldi22.sigplan.org/home/infe…
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👇
pldi22.sigplan.org/home/infe…
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: fbresearchevents.bevylabs.co…
Infer retweeted
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…
Infer retweeted
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…
Our good friends over at Glean have made their work open source!
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:
glean.software/
[1/8]
Infer retweeted
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21
www0.cs.ucl.ac.uk/staff/p.oh…
The Infer Practitioners 2021 workshop, co-located with @PLDI, starts in just a few hours! Register to watch the livestream and participate in the discussions. See you there! pldi21.sigplan.org/home/infe…
Come to the second edition of the Infer Practitioners workshop, co-located with PLDI, on 21 June. Lots of great talks and discussions planned!
Co-located with PLDI: the second Infer Practitioners Workshop gathers together developers and researchers working with the @fbinfer platform. pldi21.sigplan.org/home/infe…