Facebook aracı Devs zor bellek sızıntılarını

yardımcı olmak için geliştiriciler kendi programlarında gizli hatalar buldular, Facebook açık kod olarak kendi kodunun milyonlarca satırını ayıklamak için kullandığı bir araç olarak piyasaya çıktı.

Infer adlı yazılım, mobil ve masaüstü uygulamaları geliştiren kuruluşlar ve bireyler için yararlı olabilir. ve ek yardım hata ayıklama kullanabilirsiniz, aracı geliştiricilerden biri olan Facebook geliştiricisi Peter O'Hearn söyledi.

Infer statik bir program analizörüdür. Statik analizörler, programları çalıştırarak test etmemektedir. Bunun yerine, matematiksel olarak yanlış veya tamamlanmamış bit işaretleme çalıştırmak tüm olası yolları için kod inceleyin.

Çıkar özellikle herhangi bir programcı tarafından anlaşılmalıdır çok büyük uygulamalar için çok uygundur, O'Hearn söyledi. Bir uygulamayı daha küçük parçalara ayırır, böylece daha kolay incelenebilir. Ayrıca zaten analiz etti ki uygulamanın parçaları hatırlar ve bunlar üzerinde değişiklik sürece bunları yeniden kontrol etmez.

Facebook Android için Facebook Messenger ve Instagram, yanı sıra uygulamaları incelemek için Infer kullandı ve iOS platformları.

Statik analiz araçları yeni değil. Diğerlerinin yanı sıra, Kapitalite, Parasoft ve Kara Ördek gibi şirketler ticari statik analiz hata ayıklayıcıları sunmaktadır.

Infer'in bu ürünler üzerindeki belirgin avantajı, ücretsiz olmasıdır. Aynı zamanda, özellikle de izini zor olabilir ve uygulama çöker önemli bir kısmına neden olan, her ikisi de bellek sızıntıları ve boş gösterici erişimi, koklama üzere adapte edilir.

C yazılmış kod incelemek akım versiyonu, amaç-Cı ve Java. Infer ekibi açık yazılım kaynak tarafından, diğerleri daha fazla dil desteği eklemek umuyor.

anlaması üzerine Çalışma O'Hearn, Facebook ek olarak 2013 yılında Facebook tarafından 2009 yılında kurulan ve satın alınmıştır Monoidics, başladı geliştiriciler Cristiano Calcagno ve Dino Distefano da Infer'e büyük katkıda bulundu.