Статичний аналіз коду з допомогою Infer

staticheskijj analiz koda s pomoshhyu infer9 Статичний аналіз коду з допомогою Infer

Finding inter-procedural bugs at scale with Infer static analyzer — стаття про принцип роботи статичного аналізатора Infer і його основні відмінності від інших аналізаторів.

Infer розроблений в Facebook для пошуку помилок в програмах на C, C++, Objective-C і Java. У випадку з Java він може виявляти такі помилки як: звернення до об’єкта, що містить значення null, витоку ресурсів, відсутність блокувань і стану гонки.

Основна відмінність цього інструменту від інших у тому, що він уміє використовувати знання про все дереві викликів методів, щоб знайти помилку. Як приклад автори наводять код, який бере об’єкт, отриманий від одного методу, і передає його іншому. Завдяки можливості проаналізувати, які значення повертає перший метод і як його використовує другий, аналізатор може передбачити, що перший метод може повернути null, а другий не перевіряє свої аргументи на значення null.

Як порадувати свекруха: що подарувати їй на день народження
Подобається? Поділіться з друзями:
Всезнайко - Корисні поради
Залишити відповідь

×
Тисни «Подобається», щоб читати нас на Facebook
Спасибі, я вже з Вами!