Cтатический анализатор ошибок в java-программах

Автор: Аскар Рахимбердиев

Дата публикации: 15.09.2003 07:00

1. аудиты, обнаруживающие ошибки и подозрительные места в программном коде,
2. метрики, численно выражающие те или иные характеристики программного кода,
3. генераторы отчетов, подсчитывающие статистическую информацию и строящие визуальное представление результатов, полученных от аудитов и метрик.

1. Несоответствие стилю и ошибки кодирования, такие как присвоение значения параметру метода или модификация одной и той же переменной в нескольких местах одного выражения. Такие ошибки обнаруживаются при помощи анализа на уровне АСТ.
2. Критические ошибки, вызывающие исключения во время выполнения программы. В эту группу входят доступ по null-ссылке, выход индекса массива за допустимые пределы, переполнение при арифметических операциях. Эти ошибки могут быть обнаружены при помощи анализа потока данных.
3. Аномалии потока управления программы. Например, бесконечная рекурсия, оператор if, условие которого всегда истинно или ложно, ветка case, метка которой никогда не может быть выбрана.
4. Недостатки низкоуровневого дизайна, такие как неиспользуемый член класса, поле, используемое как локальная переменная, поля или методы, которые лучше перенести в другой класс.
5. Недостатки высокоуровневого дизайна. Аудиты Sapient обнаруживают такие проблемы, как ошибочное использование наследования или отсутствие шаблона проектирования Singleton.

• Переменная может иметь значение null в этом месте.
• В ветке условного оператора проверяющего, что переменная не равна null, точно известно, что её значение не равно null.
• Наоборот, в else ветке можно точно сказать, что переменная равна null.

interface I1 {} class C1 implements I1 {} class C2 implements I1 {} I1 var = new C1(); ((C2)var).foo(); // Ошибка, var имеет тип C1

public static final int RED=1; public static final int GREEN=2; public static final int BLUE=3;

• Если один из формальных параметров имеет то же имя, что и переменная, переданная в качестве фактического значения другого параметра, то выдаётся сообщение о возможной ошибке в порядке аргументов.
• Если переменные с одинаковым именем передаются при вызовах метода на разных позициях, то выдается предупреждение. Например, если метод foo(int width, int length) в большинстве случаев вызывается как foo(x, y), а в одном — foo(y, x), то, возможно, программист перепутал параметры.

1. В выведенном классе содержится метод, чьё имя соответствует методу в базовом классе, но сигнатуры методов не совпадают.
2. В выведенном классе содержится метод, с сигнатурой, совпадающей с сигнатурой метода из базового класса, но его имя незначительно отличается от имени метода в базовом классе (степень различия – длина минимальной редактирующей последовательности — является настраиваемым параметром этого аудита).

1. Результат операции — константа (пример: x >> 32).
2. Условие всегда принимает только одно значение (пример: (x & 31) < 32).
3. Возможный выход за границу массива при индексации.
4. Возможное деление на 0.
5. Побитовый сдвиг на число позиций превышающий размер типа в битах.
6. Возможную потерю точности при проведении операции или преобразовании типа.