Исходное сообщение
"Статический анализатор PVS-Studio 6.22 адаптирован для ARM-к..." Отправлено Andrey_Karpov, 04-Мрт-18 11:34
> как я понял для JAVA ваш анализатор может отлавливать ошибки связанные с многопоточностью Откуда Вы это взяли? :) Во-первых, Java анализатор вообще ещё только в разработке и про него не было ни одной статьи. Во-вторых, в первую очередь мы будем реализовывать аналоги диагностик, существующие в C++ анализаторе. По поводу диагностик для выявления ошибок многопоточности ничего сейчас сказать не могу, мы про это пока не думали. Выявлять ошибки, связанные с многопоточностью в C/C++ вообще очень сложная задача для статического анализа. Есть два варианта. Или делать очень, очень сложный анализатор. Например, Intel в своё время делал такой анализатор, делал, да бросил. Не пошло. Второй вариант — это использовать аннотации, которые добавляет в код человек. В некоторых случаях такие аннотации уже могут быть, если речь идёт о OpenMP. Т.е. директивы OpenMP и есть те самые аннотации, которые нужны в качестве подсказок анализатору. Мы в своё время делали анализатор VivaMP, вот некоторые старые статьи на эту тему: https://www.viva64.com/ru/a/0054/ https://www.viva64.com/ru/a/0044/ https://www.viva64.com/ru/b/0005/ Но анализатор не пользовался спросом, и мы закрыли это направление.