Результаты поиска по запросу "static-analysis"

3 ответа

примеры кода для изучения программирования на LLVM

Я учусь программировать на LLVM. В настоящее время меня интересует анализ проходов, последующие трансформации программы. (Я полагаю, что поскольку я буду более свободно разбираться с анализом, тогда будет время для трансформации программ). Не ...

2 ответа

универсальный инструмент обнаружения дублирования кода

Я ищу инструмент для дублирования кода, который не зависит от языка. Легко найти инструменты дублирования кода для конкретного языка (для Java, C, PHP, ...), но я хотел бы провести некоторый анализ дублирования кода на шаблонах в произвольном ...

5 ответов

Должны ли статические аналитические предупреждения проваливать сборку CI?

Наша команда изучает различные варианты статического анализа в нашем проекте и имеет неоднозначные мнения о том, хотим ли мы, чтобы наша сборка Continuous In...

ТОП публикаций

1 ответ

 вообще из активной цели.

довал за шагами вОбнаружение утечек памяти с помощью статического анализатора LLVM / Clang [https://web.archive.org/web/20111129115318/http://fruitstandsoftware.com/blog/2008/08/finding-memory-leaks-with-the-llvmclang-static-analyzer/] но я не ...

2 ответа

ошибка компилятора

la я могу использовать концепцию фантомных типов (как описано, например,Вот [http://blog.rafaelferreira.net/2008/07/type-safe-builder-pattern-in-scala.html] ) отмечать типы и стирать эту информацию во время выполнения. Интересно, можно ли ...

14 ответов

Какие инструменты статического анализа с открытым исходным кодом C ++ доступны? [закрыто]

У Java есть несколько очень хороших инструментов статического анализа с открытым исходным кодом, таких какFindBugs [http://findbugs.sf.net/], Checkstyle [http://checkstyle.sf.net/]а такжеPMD [http://pmd.sf.net/], Эти инструменты просты в ...

9 ответов

Существуют ли инструменты для статического анализа кода Scala? [закрыто]

Существуют ли инструменты для статического анализа кода Scala, подобные FindBugs и PMD для Java или Splint для C / C ++? Я знаю, что FindBugs работает с байт-кодом, созданным при компиляции Java, поэтому мне интересно, как он будет работать на ...

2 ответа

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

ие проекты с несколькими разработчиками часто приводят к несовместимому по стилю коду. Я ищукорпия [http://en.wikipedia.org/wiki/Lint_(software)]инструмент, подобный Objective-C, который выходит за рамки ClangСтатический ...

5 ответов

Классы закрытого типа

3 ответа

Сбой компиляции, если возвращаемое значение не используется для определенного типа