static-analysis

4зной

1ответ

Unsound неявного предупреждения литого не показано для общего параметра

Является ли это ошибка, или какое-то разумное поведение, что в режиме сильного этот код Set<Set<int>> ssi() => ssd(); Set<Set<dynamic>> ssd() => new Set.from(new Set.from(["string"])); работает

3зной

1ответ

Как быстро определить, какие макросы использует мой код?

Я вырезал кусок кода из большего (C) проекта. Код содержит много макросов, определенных во многих местах - некоторые из них используются только исходной, большей базой кода и не используются частью ко

1зной

1ответ

Есть ли инструмент, который проверяет, на каких предопределенных макросах зависит файл C?

Чтобы избежать невозможной ситуации, можно свести проблему к двум случаям. Случай 1 Первый (простейший) случай ситуации, когда препроцессор имеет шанс обнаружить его, что есть директива препроцессора,

3зной

2ответ

Инструмент для автоматической перезаписи сценария bash с правильной цитатой?

Я созерцаю, чтобы сделать все сценарии bash большой кодовой базы shellcheck совместимыми, но задача огромна, потому что слишком многие разработчики исторически игнорировали правило номер один из всех

4зной

1ответ

Как обеспечить статический импорт для некоторых методов с помощью checkstyle?

Как обеспечить статический импорт для некоторых методов с помощью checkstyle? Например Я хочу, чтобы следующий метод можно использовать только от статического импорта: import static java.util.Objects.

0зной

1ответ

Есть ли способ найти проигнорированный тест JUnit с большинством строк кода в большой базе кода?

Это вопрос статического анализа. Возможно, можно написать парсер АСТ с плагином ANTLR в Checkstyle - или бэкэндом в Findbugs. Я ищу уже существующее решение. У нас есть еженедельная встреча наших разр

0зной

1ответ

LLVM Ошибка при использовании Пасс из другого перевала

Вот мой LLVM Pass: #include <llvm/IR/Function.h> #include <llvm/Pass.h> #include <llvm/Support/raw_ostream.h> #include <llvm/Analysis/MemoryDependenceAnalysis.h> using namespace llvm; namespace