infer

2 posts

abstract-interpretationstatic-analysismetainfer

Meta fand 100.000 Bugs im Produktivcode mit einem Static Analyzer, der das Programm nie ausführt

Metas Infer nutzt Abstract Interpretation und Bi-Abduction, um Null-Dereferenzierungen, Memory Leaks und Race Conditions durch Schlussfolgerungen über die Code-Struktur zu finden – nicht durch Ausführung. So funktioniert es und so setzen Sie es in Ihrer eigenen Codebase ein.

Meta hat über 100.000 Bugfixes ausgeliefert, die von einem Static Analyzer gefunden wurden, bevor der Code jemals einen Nutzer erreicht hat. Das Tool heißt…