Вопросы по теме 'static-analysis'

Какие проблемы легко обнаружить на графе зависимостей?
На что мне следует обращать внимание при создании графа зависимостей? Или, другими словами, каковы характеристики красивого графика по сравнению с плохим? Редактировать: Контекст здесь - это мой первый взгляд на мои сборки в NDepend.
400 просмотров
schedule 08.04.2022

Это действительно переполнение буфера?
Инструмент статического анализа, который мы используем, помечает код C, как показано ниже, как критическое переполнение буфера. #define size 64 char buf [size + 1] = ""; memset (buf, 0, size + 1); Сообщение об ошибке инструмента:...
3135 просмотров

статический анализ кода Lua на предмет потенциальных ошибок
Я использую приложение с закрытым исходным кодом, которое загружает сценарии Lua и допускает некоторую настройку путем изменения этих сценариев. К сожалению, это приложение не очень хорошо генерирует полезный вывод журнала (все, что я получаю, это...
4681 просмотров
schedule 09.03.2022

Ведение истории ошибок FindBugs
FindBugs позволяет выполнять анализ данных об ошибках. Это выглядит интересно, так как помогает отслеживать ошибки в различных версиях. Что я хочу сделать, так это: При каждой фиксации в системе управления версиями будет запускаться FindBugs и...
271 просмотров
schedule 04.01.2023

Существуют ли какие-либо инструменты статического анализа, которые сообщают о том, насколько точно соблюдаются принципы SOLID?
Я знаю, что слепое следование любым «лучшим практикам» все равно может привести к вонючей куче дерьма, строго придерживающегося лучших практик. Принципы SOLID - это всего лишь принципы . Они применимы не ко всем ситуациям, но они по-прежнему...
2326 просмотров
schedule 29.03.2024

C # абстрактный метод Dispose
У меня есть абстрактный класс, который реализует IDisposable, например: public abstract class ConnectionAccessor : IDisposable { public abstract void Dispose(); } В Visual Studio 2008 Team System я запустил анализ кода в своем проекте, и...
7515 просмотров

Как определить отсутствующий метод (бинарная совместимость) в JAR статически
Я хочу проверить бинарную совместимость между двумя JAR-файлами. Следуя предложениям в этом ответе , я использовал jboss tattletale , но он может найти только отсутствующие классы. Как я могу найти отсутствующие методы? Это вообще возможно?...
4986 просмотров

В чем разница между различными файлами xsl, включенными в CheckStyle?
Дистрибутив CheckStyle содержит несколько примеров файлов XSL для форматирования отчетов. В CheckStyle 5.0 они: checkstyle-author.xsl checkstyle-csv.xsl checkstyle-frames-errors.xsl checkstyle-frames.xsl checkstyle-noframes-sorted.xsl...
574 просмотров
schedule 12.05.2022

Есть ли инструменты для проверки дублированного кода VB.NET?
Я хочу быстро почувствовать, сколько у нас кода «копировать и вставлять», есть много инструментов для C # / Java, чтобы проверить такие вещи. Существуют ли такие инструменты, которые хорошо работают с VB.NET? (Я видел то, что выглядит как много...
4137 просмотров

Предлагаемые пороговые значения для некоторых показателей программного обеспечения
Я искал в Интернете некоторые предложения по пороговым значениям для следующих известных показателей программного продукта: Отсутствие согласованности в методах (для варианта метрики Хендерсона-Селлерса) Количество унаследованных методов в...
1663 просмотров
schedule 05.12.2022

Инструменты для создания графика зависимостей функций Haskell (потока управления)?
Обратите внимание, что это не "функциональная зависимость". Существуют ли инструменты, позволяющие мне построить статический график зависимостей функций из исходного кода? Что-то, что указывает мне, какие функции зависят от каких других графически.
4155 просмотров
schedule 29.09.2023

ПК-линт Gimpel не может отследить оборванный указатель?
Недавно я использовал PC-lint9 для обнаружения различных ошибок, и это действительно поразило меня, но похоже, что PC-lint9 не может отследить оборванный указатель, вот снимок кода, с которым я тестирую. int* pkInt = new int; int* pkDangInt =...
277 просмотров
schedule 14.02.2022

Существует ли инструмент визуализации, который может проверять базу кода Java и сообщать о зависимостях между пакетами?
У нас есть кодовая база Java, которая стала слишком большой для одного монолитного JAR (более 5000 классов). Одна из задач, которую мы исследуем, заключается в том, сколько усилий потребуется, чтобы разбить этот единственный JAR на более мелкие...
2381 просмотров

Инструменты анализа кода для Android
Есть ли какие-либо инструменты статического анализа кода для Android, которые могли бы подбирать простые вещи, такие как NullPointerExceptions, при попытке доступа к объекту, который может быть нулевым (без предварительной проверки) ... Такие...
12654 просмотров

Есть ли инструмент для проверки краткости программы на языке C?
Например, я хочу проверить, может ли следующий код быть более кратким или нет: for(i = 0; i < map->size; i++){ if(0 < map->bucket[i].n){ p = map->bucket[i].list; while(p){ h = hash(p->key) % n;...
282 просмотров
schedule 09.03.2024

Предупреждение анализатора о некорректном уменьшении счетчика ссылок
Я только что установил Xcode 4 и открыл более раннюю версию своего приложения. Анализатор сообщает для этой строки: [self.myViewControllerObject release]; неправильное уменьшение счетчика ссылок на объект, который в данный момент не...
1533 просмотров
schedule 02.02.2024

Статический анализатор Clang и непрерывная интеграция?
Статический анализатор Clang оказался гораздо более надежным, чем PC-Lint и другие варианты Lint и аналогичное программное обеспечение, в выявлении реальных проблем (что неудивительно, если читать предысторию). Метод scan-build хорош даже для...
861 просмотров

FlexeLint и boost :: bimap
У меня проблема с фрагментом кода, который использует boost :: bimap. У меня есть простой bimap.cpp, который выглядит так: #include <boost/bimap.hpp> typedef boost::bimap<int, double> TestBimap; int main() { TestBimap...
269 просмотров
schedule 21.02.2023

Как интегрировать PC-lint с Visual C ++ 2008
У моей компании есть исполняемый файл lint-nt.exe для PC-lint. Я пытаюсь использовать это для интеграции PC-lint с MS Visual Studio 2008 для анализа источников .c / .cpp. Но мне не удалось заставить это работать. Я читаю:...
4723 просмотров

Существуют ли метрики кода, которые будут охватывать область видимости переменных?
При попытке получить общее представление о том, насколько сложно поддерживать некоторый устаревший код C++ и C#, а также о риске внесения в него ошибок, было высказано предположение, что было бы полезно измерить, насколько широко или узко область...
277 просмотров
schedule 09.04.2023