Hunting for memory leaks - part 7 of Java Memory Management
Entwickler finden versteckte Fehler in ihren Programmen, Facebook hat als Open Source ein Tool veröffentlicht, mit dem Millionen von Zeilen seines eigenen Codes debuggen können.
Die Software namens Infer könnte für Organisationen und Einzelpersonen nützlich sein, die mobile und Desktop-Apps erstellen und könnte zusätzliche Hilfe-Debugging verwenden, sagte Facebook-Entwickler Peter O'Hearn, einer der Schöpfer des Tools.
Infer ist ein statischer Programmanalysator. Statische Analysatoren testen keine Programme, indem sie sie ausführen. Stattdessen untersuchen sie den Code mathematisch auf alle möglichen Wege, die er ausführen könnte, indem er falsche oder unvollendete Bits markiert.
Infer ist besonders gut für Anwendungen geeignet, die zu groß sind, um von einem einzelnen Programmierer verstanden zu werden, sagte O'Hearn. Es trennt eine Anwendung in eine Menge kleinerer Teile, so dass sie leichter untersucht werden können. Es merkt sich auch, welche Teile der Anwendung es bereits analysiert hat, und überprüft sie nicht erneut, wenn sie nicht modifiziert wurden.
Facebook hat Facebook, Messenger und Instagram sowie seine Apps für Android und Android inspiziert iOS-Plattformen.
Statische Analyse-Tools sind nicht neu. Unternehmen wie Coverity, Parasoft und Black Duck bieten unter anderem kommerzielle statische Analysedebugger.
Der Vorteil von Infer gegenüber diesen Produkten ist, dass es kostenlos ist. Es ist auch besonders gut geeignet, um Speicherlecks und Nullzeigerzugriffe aufzuspüren, von denen beide schwer aufspüren können und eine vorherrschende Quelle von App-Abstürzen sind.
Die aktuelle Version kann in C, Objective-C geschriebenen Code untersuchen und Java. Das Infer-Team hofft, dass durch Open Source die Software weitere Sprachen unterstützen wird.
Die Arbeit an Infer begann in Monoidics, das 2009 gegründet und 2013 von Facebook gekauft wurde. Zusätzlich zu O'Hearn, Facebook Auch die Entwickler Cristiano Calcagno und Dino Distefano haben stark zu Infer beigetragen.
Facebooks Flow könnte JavaScript-Programmierern dabei helfen, schwer fassbare Bugs ausfindig zu machen
Flow bietet die dringend benötigte statische Typprüfung für die JavaScript-Sprache
Wie Facebook-Ingenieure schwer fassbare App-Speicherlecks erobern
Facebook zeigt Techniken auf, mit denen die Anzahl schwer fassbarer Speicherfehler reduziert werden konnte > Programmierer, die eine Pause von Marathon-Debugging-Sitzungen benötigen, können einen Blogpost von zwei Facebook-Softwareingenieuren lesen, die Tipps und Kriegsgeschichten über das Ausmerzen von schwer fassbaren Speicherfehlern in der iOS-App des sozialen Netzwerks geben.
