static-analysis

3зной

1ответ

Статический анализ Ошибка CA1811 в методах тестирования с лямбда-выражениями

Я обнаружил странную ошибку статического анализа Visual Studio при написании моего теста. Приведенный ниже код генерирует CA1811 по обеим методам испытаний FailCA и PassCA. «ClassToTestTests.FailCA()»

15зной

2ответ

контракта, что обеспечивает IEnumerable не является пустым

Данный код static public int Q() { return Enumerable.Range(0, 100) .Select(i => i) .First(); } выдает следующее предупреждение: warning : CodeContracts: requires unproven: Any(sou

2зной

1ответ

Случай по умолчанию в конфликте между linter и кодом покрытия в Scala

Мои листы всегда жалуются, когда у меня нет случая по умолчанию в шаблоне в Scala. Однако часто случай по умолчанию является искусственным, и мои программы никогда не могут достичь этого. В качестве п

1зной

2ответ

CppCheck утверждает, что поле не используется - в то время как он, в другом файле

Я создал пользовательский тип, и поместить его в command.h typedef struct { char name[16]; int paramv[7]; int paramc; } command; Я использую его во многих других файлов, но не в com

2зной

1ответ

Статический анализ динамически типизированного языка

Я читал http://tratt.net/laurie/research/pubs/html/tratt__dynamically_typed_languages/#x1-50002.3 и объясняет, что статический анализ - это не практический подход на динамически типизированном языке,

0зной

1ответ

Конфигурирование CheckStyle с помощью SonarQube 5.4

В качестве ученика и новичка для инструментов анализа статического кода. Я столкнулся с проблемой интеграции CheckStyle в SonarQube. Я уже установил плагин в свой SonarQube. Я уверен, что нет никакого

0зной

1ответ

Перемещение с Eclipse Checkstyle на SonarQube Checkstyle

Организация, с которой я связан, использует IDE-форматирование и аналогичную вещь в IDE. Файл, который я придумал, - это то, что поддерживает плагин checkstyle, и никаких подробностей, которые у меня

3зной

1ответ

Анализ Javascript taint с использованием WALA

Я разрабатываю инструмент анализа приложений для ОС Firefox, который классифицирует данное приложение на злонамеренные или не вредоносные на основе анализа кода. Моя первоначальная работа - выполнить

0зной

1ответ

Как изменить значение STACK_USE в инструменте покрытия для C++?

Coverity сообщает о предупреждении об использовании размера стека размером 10 килобайт. Я хочу изменить это значение на < 25k> bytes. Как я могу настроить его на покрытие? plz help