Publication | Open Access
Scaling static analyses at Facebook
193
Citations
15
References
2019
Year
Software MaintenanceSocial Data AnalysisEngineeringVerificationStatic AnalysesSoftware EngineeringSource Code AnalysisKey LessonsSoftware AnalysisFormal VerificationSocial MediaData ScienceStatic CheckingFuzzingStatic Analyses ToolsSocial Network AnalysisStatic AnalysisComputer ScienceDebuggerStatic Program AnalysisSocial Network AggregationSoftware DesignProgram AnalysisSocial ComputingSoftware TestingFormal MethodsHuman-computer Interaction
Key lessons for designing static analyses tools deployed to find bugs in hundreds of millions of lines of code.
| Year | Citations | |
|---|---|---|
Page 1
Page 1