Исходное сообщение
"Результаты анализа системой Coverity безопасности и качества..." Отправлено pavlinux, 27-Фев-12 03:41
> Где оно в ядре, взглянуть можно для интереса? Пытался найти, не получилось, Ну вот напрямер http://lxr.linux.no/#linux+v3.2.7/drivers/xen/xen-selfballoo... На 151-ой строке объявляют и не инициализируют cur_frontswap_pages, на 155-ой это неясное значение присваивают другой переменной. на 158-ой идёт сравнение, уже инициализированной, cur_frontswap_pages с неясным значением у last_frontswap_pages. Тут и ёжику понятно, что эти две переменные используются как проверка работы функции frontswap_curr_pages(). То есть, это присваивание однозначно определяет то, что эти две переменные меж собой равны, даже не инициализируемые вручную. Но факт присваивания неинициализированной переменно налицо. Вот Coverity, за подобный такому, шухер, и получает бабло от АНБ, заказы от корпоративщиков, и орёт на каждом заборе, что они находят баги. :) static void frontswap_selfshrink(void) {         static unsigned long cur_frontswap_pages;         static unsigned long last_frontswap_pages;         static unsigned long tgt_frontswap_pages;         last_frontswap_pages = cur_frontswap_pages;         cur_frontswap_pages = frontswap_curr_pages();         if (!cur_frontswap_pages ||                         (cur_frontswap_pages > last_frontswap_pages)) {                 frontswap_inertia_counter = frontswap_inertia;                 return;         } ...

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Где оно в ядре, взглянуть можно для интереса? Пытался найти, не получилось, > Ну вот напрямер http://lxr.linux.no/#linux+v3.2.7/drivers/xen/xen-selfballoon.c#L155 > На 151-ой строке объявляют и не инициализируют cur_frontswap_pages, > на 155-ой это неясное значение присваивают другой переменной. > на 158-ой идёт сравнение, уже инициализированной, cur_frontswap_pages с > неясным значением у last_frontswap_pages. > Тут и ёжику понятно, что эти две переменные используются > как проверка работы функции frontswap_curr_pages(). > То есть, это присваивание однозначно определяет то, > что эти две переменные меж собой равны, даже не инициализируемые вручную. > Но факт присваивания неинициализированной переменно налицо. > Вот Coverity, за подобный такому, шухер, и получает бабло от АНБ, > заказы от корпоративщиков, и орёт на каждом заборе, что они находят баги. > :) > [code] > static void frontswap_selfshrink(void) > { > static unsigned long cur_frontswap_pages; > static unsigned long last_frontswap_pages; > static unsigned long tgt_frontswap_pages; > last_frontswap_pages = cur_frontswap_pages; > cur_frontswap_pages = frontswap_curr_pages(); > if (!cur_frontswap_pages || > > > (cur_frontswap_pages > last_frontswap_pages)) { > > frontswap_inertia_counter = frontswap_inertia; > > return; > } > ... > [/code]
	Введите код, изображенный на картинке: