static-analysis

Я использую Polyspace IHME-8.1.0.12 (R2011a) для поиска мертвого кода в моем проекте. В настоящее время анализ улавливает этот случай: int f1() { int x = 1; if (x > 0) return 1; else return 0; // dead code } Но не в этом случае: int f2(int x) { if (x > 0) return 1; else return 0; // th...

Запуск статического анализатора на этом фрагменте кода: - (id) readForeignPref { CFPropertyListRef matchStyle = CFPreferencesCopyAppValue(CFSTR("PBXFindMatchStyle"), CFSTR("com.apple.Xcode")); return [(id)matchStyle autorelease]; } Дает следующее предупреждение: Вызов функции 'CFPreferencesCopyAppV...

Существуют ли хорошие инструменты для автоматической проверки проектов C++ на соответствие соглашениям о кодировании, например: все брошенные объекты должны быть классами, производными от std:: exception (т. е. throw 42; или throw "runtime error"; будут помечены как ошибки, так же как throw std::string("ano...

Существуют ли инструменты статического анализа для Asp.Net что измеряет сухость ("не повторяйся") кода? Я хотел бы получить отчет о том, где код дублируется в пределах Asp.Net проект....

Какую методологию вы бы использовали с инструментом статического анализа кода? Когда и где вы будете проводить анализ? Насколько часто? Как бы вы интегрировали его в среду continues build, на ежедневных сборках? только по ночам?...

Java имеет некоторые очень хорошие инструменты статического анализа с открытым исходным кодом, такие как FindBugs,Checkstyle и PMD. Эти инструменты просты в использовании, очень полезны, работает на нескольких операционных системах и свободный. коммерческие продукты статического анализа C++ доступны. Хотя...

какие инструменты анализа кода Вы используете в своих проектах Java? меня интересуют все виды инструменты статического анализа кода (FindBugs, PMD и любые другие) инструменты покрытия кода (Cobertura, Emma и любые другие) любые другие инструменты, основанные на инструментах что-нибудь еще, если я что-то у...

Я привык к тому, что мой компилятор жалуется, когда я делаю что-то глупое, как опечатка на имя переменной, но JavaScript имеет привычку пропускать это. существуют ли инструменты статического анализа для JavaScript?...

мы вводим инструменты статического анализа в систему сборки для нашего продукта Java. Мы используем Maven2 так Checkstyle и PMD интеграция приходит бесплатно. Однако, похоже, есть большие совпадения в функциональности между этими двумя инструментами, с точки зрения соблюдения основных правил стиля. есть ли ...

Как бы вы пошли на обнаружение мертвого кода в коде C / C++? У меня есть довольно большая база кода для работы, и по крайней мере 10-15% - это мертвый код. Есть ли какой-либо инструмент на основе Unix для идентификации этих областей? Некоторые части кода все еще используют много препроцессора, может ли автома...