| Тип ошибки/Анализатор |
Классический анализатор (Максим Курбатов) |
luna_trace (Михаил Мичуров) |
prolog-analyzer (Михаил Мичуров) |
DeGSA (Василий Царев) |
| 1. Несоответствие типов аргументов при вызове атомарного ФК |
3 |
0 |
0 |
0 |
| 2. Несуществующая LuNA-подпрограмма |
3 |
0 |
0 |
3 |
| 3. Повторная инициализация ФД |
0 |
3 |
2 |
3 |
| 4. Несоответствие типов аргументов при вызове структурированного ФК (неверный порядок аргументов) |
3 |
0 |
0 |
0 |
| 5. Попытка использования неинициализированного ФД |
0 |
3 |
2 |
3 |
| 6. Несовпадение количества аргументов при объявлении ФК и его вызове |
3 |
0 |
0 |
0 |
| 7. Два или более объявлений ФД в подпрограмме |
3 |
0 |
0 |
0 |
| 8. Несоответствие типов LuNA при присваивании |
3 |
0 |
0 |
0 |
| 9. Использование ФД после его удаления |
0 |
0 |
0 |
0 |
| 10. Неиспользуемое имя |
3 |
0 |
1 |
3 |
| 11. Импорт нескольких разных функций по одним алиасом |
3 |
0 |
1 |
0 |
| 12. Отсутствие функции main |
3 |
0 |
1 |
0 |
| 13. ФД с одинаковыми названиями в одной области видимости |
3 |
0 |
0 |
3 |
| 14. Попытка использования необъявленного ФД |
0 |
0 |
1 |
3 |
| 15. Циклическая зависимость по данным |
0 |
0 |
0 |
1 |
| 16. Повторное определение ФК |
1 |
0 |
0 |
0 |
| 17. Импорт несуществующей С/C++ функции |
0 |
0 |
0 |
0 |
| 18. Нижняя граница цикла использования может быть как больше, так и меньше нижней границы цикла инициализации |
0 |
0 |
3 |
0 |
| 19. Нижняя граница цикла использования строго меньше нижней границы цикла инициализации |
0 |
0 |
3 |
0 |
| 20. Верхняя граница цикла использования может быть как меньше, так и больше верхней границы цикла инициализации |
0 |
0 |
3 |
0 |
| 21. Верхняя граница цикла использования строго больше верхней границы цикла инициализации |
0 |
0 |
3 |
0 |
| 22. Шаг цикла использования не кратен шагу цикла инициализации |
0 |
0 |
3 |
0 |
| 23. Формула в if тождественно истинна/ложна |
0 |
0 |
3 |
3 |
| 24. Формула в if истинна/ложна во всех путях выполнения |
0 |
0 |
1 |
1 |
| 25. Операторы, возвращающие булево значение, используятся в целочисленном контексте ((x > y) - 1) |
0 |
0 |
3 |
1 |
| 26. Попытка инициализации объекта, не являющегося ФД |
0 |
0 |
0 |
3 |
| 27. Попытка запросить неинициализированный ФД при помощи request |
0 |
0 |
0 |
0 |
| 28. Попытка использования ФД после превышения допустимого числа запросов |
0 |
0 |
0 |
0 |
| 29. Использование ФД после его удаления при помощи соответствующего оператора |
0 |
0 |
0 |
0 |
| 30. Использование оператора информационной зависимости для структурированного ФК |
0 |
0 |
0 |
0 |
| 31. Не передать значение для nfparam |
0 |
0 |
0 |
0 |
| 32. Попытка запросить ФД из узла, где его нет |
0 |
0 |
0 |
0 |
| 33. Неправильный параметр для nfparam |
0 |
0 |
0 |
0 |
| 34. Безусловная рекурсия |
0 |
0 |
0 |
1 |
| 35. Пересечение диапазонов инициализируемых индексов |
0 |
0 |
3 |
0 |
| 36. Попытка индексации объекта, не являющегося ФД |
0 |
0 |
0 |
3 |
| 37. Нет (гарантированного) цикла инициализации |
0 |
0 |
3 |
0 |