Вопросы с тегом стати-c--анализ

0 голосов

1 ответ

Кто-нибудь использует аналитическую платформу Embold stati c и каков их опыт на том же?

user11303456 / 30 апреля 2020

0 голосов

1 ответ

PHPStan: Свойство с классом generi c не указывает его типы: TKey, T

AymDev / 25 апреля 2020

0 голосов

0 ответов

Какой инструмент анализа stati c может обнаружить небезопасную одновременную запись в java

Artem Yakovlev / 22 апреля 2020

0 голосов

0 ответов

PHPStan анализирует представления с помощью ViewModel

psren / 22 апреля 2020

0 голосов

0 ответов

Использование TypeScript и ESLint с Гэтсби

xiuolpcpb / 21 апреля 2020

4 голосов

2 ответов

Python проверка mypy типов возвращаемых данных для TypeVar (bound = Union [A, B]) не приводит к ошибкам против TypeVar (A, B) делает ошибку

Intrastellar Explorer / 21 апреля 2020

0 голосов

1 ответ

Является ли вызов таблицы допустимой операцией?

Gqqnbig / 19 апреля 2020

0 голосов

1 ответ

Как найти типы аргументов метода при вызове метода?

amirkhaniansev / 16 апреля 2020

0 голосов

0 ответов

Angular HTML Линтер

Feeco / 06 апреля 2020

1 голос

1 ответ

Должны ли файлы конфигурации линтеров быть в .gitignore?

Jonathan / 04 апреля 2020

0 голосов

0 ответов

Stai c анализ дает "Разыменование , который известен как nullptr "

thomachan / 01 апреля 2020

0 голосов

0 ответов

Тип Траверса в лягушке

lava_07 / 27 марта 2020

1 голос

0 ответов

Как подавить одиночное правило MISRA 2004 для символа в пите P C

Lazureus / 25 марта 2020

2 голосов

1 ответ

При использовании инструмента SAST, почему мы должны использовать «сборку оболочки» для скомпилированных языков (например, C / C ++)?

Walton C / 21 марта 2020

0 голосов

1 ответ

Как отключить радон высокой цикломатикой c проверка сложности?

Arya / 20 марта 2020

2 голосов

0 ответов

Ясный способ настроить LSP (vim-ls c) с помощью vim + CMake?

learning2code / 18 марта 2020

0 голосов

1 ответ

Как можно сопоставить код CLI frama- c с исходным оператором c? И как мне найти документацию по API-интерфейсу frama- c?

Seongmin Lee / 05 марта 2020

1 голос

0 ответов

LLVM находит инструкции загрузки / хранения, которые работают с кучей

Vivin Paliath / 03 марта 2020

1 голос

1 ответ

Может ли mypy обнаружить неправильные типы возвращаемых TypedDict?

Chris Oaks / 26 февраля 2020

2 голосов

0 ответов

Как исправить ошибку типа c в cppcheck

PhilLab / 25 февраля 2020

1 голос

1 ответ

Как обработать предупреждение анализа stati c из проверки Core Guidelines о gsl :: at?

Martin Fehrs / 21 февраля 2020

1 голос

1 ответ

Как обрабатывать полуотносительные пути включения с помощью cppcheck

PhilLab / 17 февраля 2020

2 голосов

1 ответ

Как сохранить типы переменных в файл, используя Frama- C

Thuy Nguyen / 09 февраля 2020

1 голос

1 ответ

Почему QTCreator не предупреждает меня, если emplace_back совершенно неверен?

Tyler Shellberg / 05 февраля 2020

0 голосов

0 ответов

Можно ли выполнить анализ кода stati c без компиляции?

Walidou / 04 февраля 2020