Created attachment 14960 [details] Скриншот фрагмента кода После сравнения с NULL в rpmfc.c:1008, указатель 'fc' разименовывается в rpmfc.c:1124. --- Имеем: if (fc == NULL) { rpmlog(RPMLOG_ERR, _("Empty file classifier\n")); goto exit; } ... exit: rpmstrPoolFreeze(fc->cdict, 0); Т.е. прям явное разименование нуля. Found by Linux Verification Center (https://portal.linuxtesting.ru/) with SVACE. Author E.Bykhanova.
Created attachment 14961 [details] Скриншот фрагмента кода