LINUX.ORG.RU

История изменений

Исправление seiken, (текущая версия) :

Статический анализ, разумеется, не для проверки рантайм поведения, а ради багов, которые могут быть как в одно-, так и в многопотоке. Аналогично с ют.

Исходная версия seiken, :

Статический анализ, разумеется, ее для проверки рантайм поведения, а ради багов, которые могут быть как в одно-, так и в многопотоке. Аналогично с ют.