Infer

162 posts

Infer banner
Infer

Infer

@fbinfer

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

Joined Haziran 2015
10 Following1.2K Followers
Infer
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 (youtube.com/live/_wPTcXuAW…) and interact on Discord (pldi23.sigplan.org/attending/atte…).
YouTube video
YouTube
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🙋‍♀️ pldi23.sigplan.org/attending/atte… Check out the program at👇 #program" target="_blank" rel="nofollow noopener">pldi23.sigplan.org/home/infer-202…

English
3
2
8
3.7K
Infer
Infer@fbinfer·
YouTube link 🖥️ to the live stream will also be available, stay tuned!
English
0
0
3
565
Infer
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🙋‍♀️ pldi23.sigplan.org/attending/atte… Check out the program at👇 #program" target="_blank" rel="nofollow noopener">pldi23.sigplan.org/home/infer-202…
Infer tweet media
English
2
8
18
13.7K
Infer
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👇 pldi23.sigplan.org/home/infer-2023
English
0
7
12
3.2K
Infer
Infer@fbinfer·
Wordle 537 1/6 🟩🟩🟩🟩🟩
English
0
1
8
0
Infer
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! 2022.splashcon.org/details/splash…
English
0
3
5
0
Infer
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. ow.ly/NflC50LLbVn

English
0
2
5
0
Infer
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. devblogs.microsoft.com/dotnet/slaying…
English
0
8
10
0
Infer
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👇 pldi22.sigplan.org/home/infer-2022
English
0
3
3
0
Infer
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: fbresearchevents.bevylabs.com/events/details…
English
0
3
14
0
Infer retweeted
Stephen
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. engineering.fb.com/2021/10/20/sec…
English
0
2
14
0
Infer
Infer@fbinfer·
@_binary_search There's an academic tool from Imperial college called Gillian that's promising; uses biabduction like Infer #publications-and-phd-theses" target="_blank" rel="nofollow noopener">doc.ic.ac.uk/~pg/#publicati…
English
0
0
0
0
Maxim
Maxim@_binary_search·
Would be great if @fbinfer existed for JavaScript. It's easier to write memory leaks with React hooks than it is with C nowadays!
English
1
2
10
0

Discover

@PLDI @PeterOHearn12 @QLocLe @HerrDreyer @AzaleaRaad @Geralt_Encore @icfp_conference @Meta