A static analysis platform for Java, Kotlin, C, C , Objective-C, Erlang, C# (via Infer#), and Hack.
Joined June 2015
- Tweets 162
- Following 10
- Followers 1,149
- Likes 78
15 Photos and videos
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…
3
2
8
3,704
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…
2
8
18
13,731
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…
7
12
3,199
Infer retweeted
8 Dec 2022
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…
6
12
98
🏅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…
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!
22 Nov 2022
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
2
5
Infer retweeted
1 Nov 2022
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
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…
8
10
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…
1
3
10
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…
3
3
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…
3
14
Infer retweeted
29 Oct 2021
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…
2
14
Infer retweeted
25 Oct 2021
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
23
Our good friends over at Glean have made their work open source!
31 Aug 2021
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]
2
Infer retweeted
18 Aug 2021
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21
cs.ucl.ac.uk/staff/p.ohearn/…
1
11
40
Infer retweeted
21 Jun 2021
Impressive stats from Facebook's work on null safety. @fbinfer @artem_pyanykh
3
17
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…
3
5