સીપીપીચેક 2.7નું પ્રકાશન, સી++ અને સી ભાષાઓ માટે સ્ટેટિક કોડ વિશ્લેષક

સ્ટેટિક કોડ વિશ્લેષક cppcheck 2.7 નું નવું સંસ્કરણ બહાર પાડવામાં આવ્યું છે, જે તમને C અને C++ ભાષાઓમાં કોડમાં ભૂલોના વિવિધ વર્ગોને ઓળખવા માટે પરવાનગી આપે છે, જેમાં બિન-માનક વાક્યરચનાનો ઉપયોગ કરતી વખતે, એમ્બેડેડ સિસ્ટમ્સ માટે લાક્ષણિક છે. પ્લગિન્સનો સંગ્રહ પ્રદાન કરવામાં આવે છે જેના દ્વારા cppcheck વિવિધ વિકાસ, સતત એકીકરણ અને પરીક્ષણ પ્રણાલીઓ સાથે સંકલિત થાય છે, અને કોડ શૈલી સાથે કોડ અનુપાલન તપાસવા જેવી સુવિધાઓ પણ પ્રદાન કરે છે. કોડને પાર્સ કરવા માટે, તમે કાં તો તમારા પોતાના પાર્સરનો અથવા ક્લેંગમાંથી બાહ્ય પાર્સરનો ઉપયોગ કરી શકો છો. તેમાં ડેબિયન પેકેજો માટે સહયોગી કોડ સમીક્ષા કાર્ય કરવા માટે સ્થાનિક સંસાધનો પ્રદાન કરવા માટે donate-cpu.py સ્ક્રિપ્ટનો પણ સમાવેશ થાય છે. પ્રોજેક્ટનો સ્ત્રોત કોડ GPLv3 લાયસન્સ હેઠળ વિતરિત કરવામાં આવે છે.

સીપીપીચેકનો વિકાસ અવ્યાખ્યાયિત વર્તણૂક સાથે સંકળાયેલી સમસ્યાઓ અને સુરક્ષાના દૃષ્ટિકોણથી જોખમી હોય તેવી ડિઝાઇનના ઉપયોગ પર ધ્યાન કેન્દ્રિત કરે છે. ધ્યેય ખોટા હકારાત્મકને ઘટાડવાનો પણ છે. ઓળખાયેલી સમસ્યાઓમાં: અસ્તિત્વમાં ન હોય તેવા પદાર્થોના નિર્દેશકો, શૂન્ય દ્વારા વિભાજન, પૂર્ણાંક ઓવરફ્લો, ખોટી બીટ શિફ્ટ કામગીરી, ખોટા રૂપાંતરણો, મેમરી સાથે કામ કરતી વખતે સમસ્યાઓ, STL નો ખોટો ઉપયોગ, નલ પોઇન્ટર ડિરેફરન્સ, વાસ્તવિક ઍક્સેસ પછી ચેકનો ઉપયોગ બફર માટે, બફર ઓવરરન્સ, અપ્રારંભિક ચલોનો ઉપયોગ.

સમાંતર રીતે, સ્વીડિશ કંપની Cppcheck સોલ્યુશન્સ AB Cppcheck પ્રીમિયમનું વિસ્તૃત સંસ્કરણ વિકસાવી રહી છે, જે અનંત લૂપ્સની હાજરીનું વિશ્લેષણ, બિન-પ્રારંભિક ચલો માટે સુધારેલ શોધ અને અદ્યતન બફર ઓવરફ્લો વિશ્લેષણ પ્રદાન કરે છે.

નવા સંસ્કરણમાં:

• કન્ટેનરના દૃશ્યો માટે ઉમેરાયેલ સમર્થન - વ્યુ એટ્રિબ્યુટ લાઇબ્રેરી ટૅગમાં ઉમેરવામાં આવ્યું છે, જે દર્શાવે છે કે વર્ગ એક દૃશ્ય છે. લટકતા કન્ટેનરની શોધ કરતી વખતે આ લક્ષણનો ઉપયોગ કરવા માટે આજીવન વિશ્લેષણ કોડ અપડેટ કરવામાં આવ્યો છે;
• સુધારેલ તપાસ;
• સંચિત ભૂલો સુધારવામાં આવી છે અને વિશ્લેષકની ખામીઓ દૂર કરવામાં આવી છે.

સોર્સ: opennet.ru