Scaling Static Analyses at Facebook
Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.
Shameless plug: I am really excited to finally be able to share some more around some of the groundbreaking work we've been doing in static analysis.
This is seriously impressive work by Francesco, Manuel and co.
"To industry professionals we say: advanced static analyses, like those found in the research literature, can be deployed at scale and deliver value for general code. And to academics we say: from an industrial point of view the subject appears to have many unexplored avenues, and this provides research opportunities to inform future tools."Posted on 2019-07-24T17:50:54+0000