A PVS-Studio statikus forráskód-elemező gyártója a FreeBSD kernelt elemezte

FreeBSD

FreeBSD vs. PVS

A FreeBSD projekt számolt be arról, hogy Svyatoslav Razmyslov, a PVS-Studio statikus forráskód-elemző szoftver mögött álló csapat egyik tagja egy cikket tett elérhetővé a FreeBSD kernel ellenőrzéséről. A cikkben számos olyan problémára mutatnak rá, amelyet a FreeBSD fejlesztőknek érdemes lenne szemügyre venniük és alkalmasint javítaniuk. A FreeBSD fejlesztők megkapták az elemzés nyomán született teljes warning listát, így amellett, hogy az elemző szoftver gyártója az elemzéssel reklámhoz jutott, a FreeBSD projekt is profitálhat belőle.

A cikk elérhető itt.

( prion | 2016. 02. 19., p – 16:44 )

az most komolyan egy darth vader egyszarvú? :D És az ördög van a jó oldalon?

( Hunger | 2016. 02. 19., p – 18:42 )

Hű basszus, vannak benne meredek dolgok.

Köszi, megnézem.

Amit írtál példát, hibát nem ad, inkább fölösleges logikai vagy esetén. És még mindig jobb, mintha egy mindig igaz feltétel lenne ott... De gáz, ez tény.

Én is láttam, hogy sok a fals pozitív.

"Belépés díjtalan, kilépés bizonytalan."
"Vajon mit várok a sorstól, ha hányok az édestől, és izzadok a sóstól."

( sz332 v | 2016. 02. 19., p – 19:48 )

Lehet h a glibc-re kellett volna lefuttatni...

( trey | 2016. 02. 20., szo – 07:36 )

One more interesting moment. We detected the same error in the code of Haiku operating system (see the section "Warnings #17, #18") No idea, who borrowed the "if_ae.c" file, but this error appears after Copy-Paste.

--
trey @ gépház