Meta found 100,000 bugs in production code with a static analyzer that never runs the program
Meta's Infer uses abstract interpretation and bi-abduction to find null dereferences, memory leaks, and race conditions by reasoning about code structure,...
