Исправление byko3y, (текущая версия) :
Статический анализ, разумеется, не для проверки рантайм поведения, а ради багов, которые могут быть как в одно-, так и в многопотоке. Аналогично с ют
Перефразирую: как статический анализ поможет мне узнать, что, например, указатель не будет разыменован после освобождения в другом потоке? Насколько мне известно, по крайней мере в C/C++ это проверяется только рантайм анализаторами.
У меня есть довольно много полиморфных структур (разная структура данных по одному типу указателя) — какой статический анализатор сможет пережевать их?
PS: и что такое ют?
Исходная версия byko3y, :
Статический анализ, разумеется, не для проверки рантайм поведения, а ради багов, которые могут быть как в одно-, так и в многопотоке. Аналогично с ют
Перефразирую: как статический анализ поможет мне узнать, что, например, указатель не будет разыменован после освобождения в другом потоке? Насколько мне известно, по крайней мере в C/C++ это проверяется только рантайм анализаторами.
У меня есть довольно много полиморфных структур (разная структура данных по одному типу указателя) — какой статический анализатор сможет пережевать их?