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

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

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

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

• નીચેની તપાસો વિશ્લેષક કોરમાં ઉમેરવામાં આવી છે:
  • ફંક્શન બોડીમાં રીટર્ન ઓપરેટરની ગેરહાજરી;
  • ઓવરલેપિંગ ડેટા રેકોર્ડ કરે છે, અવ્યાખ્યાયિત વર્તન નક્કી કરે છે;
  • જે મૂલ્યની સરખામણી કરવામાં આવી રહી છે તે પ્રકારના મૂલ્યની રજૂઆતની બહાર છે;
  • કૉપિ ઑપ્ટિમાઇઝેશન વળતર std::move(local);
  • વિવિધ સ્ટ્રીમ્સ (સ્ટ્રીમ) માં વાંચવા અને લખવા માટે ફાઇલ એક સાથે ખોલી શકાતી નથી;
• યુનિક્સ પ્લેટફોર્મ માટે, વિવિધ રંગોમાં ડાયગ્નોસ્ટિક સંદેશાઓ પ્રદર્શિત કરવા માટે સપોર્ટ ઉમેર્યો;
• ValueFlow માટે સાંકેતિક વિશ્લેષણ ઉમેર્યું. બે અજાણ્યા ચલો વચ્ચેના તફાવતની ગણતરી કરતી વખતે સરળ ડેલ્ટાનો ઉપયોગ કરે છે;
• ટોકન્સ "વ્યાખ્યાયિત" ની સૂચિ માટે ઉપયોગમાં લેવાતા નિયમો પણ #include સાથે મેળ ખાય છે;
• પુસ્તકાલય ટેગ હવે ટેગ સમાવી શકે છે , અને તે મુજબ ફ્રી ફંક્શન્સ, જે કન્ટેનર સ્વીકારી શકે છે જેમ કે std::size, std:: ખાલી, std::begin, std::end, વગેરે. કનેક્ટર્સ માટે યીલ્ડ અથવા ક્રિયાનો ઉલ્લેખ કરી શકે છે;
• પુસ્તકાલય ટેગ હવે ટેગ સમાવી શકે છે અનન્ય માલિકી ધરાવતા સ્માર્ટ પોઇન્ટર માટે. આ પ્રકારના સ્માર્ટ પોઈન્ટર્સના સંદર્ભો વિશે હવે ચેતવણી જારી કરવામાં આવી છે;
• —cppcheck-build-dir પરિમાણ પર પ્રક્રિયા કરવામાં સમસ્યા ઉકેલાઈ;
• htmlreport હવે લેખક વિશેની માહિતી પ્રદર્શિત કરી શકે છે (ગીટ બ્લેમનો ઉપયોગ કરીને);
• ચલો વિશે વિસ્તૃત ચેતવણીઓ જે સ્થિર નથી, પરંતુ હોઈ શકે છે;
• વિશ્લેષકની સંચિત ભૂલો અને ખામીઓ સુધારવામાં આવી છે.

વધુમાં, નિયમો 2012, 1 અને 2 સિવાય, મિશ્રા C 1.1 ના ચેકો, જેમાં સુધારો 1.2 અને સુધારો 17.3નો સમાવેશ થાય છે, સંપૂર્ણપણે અમલમાં મૂકવામાં આવ્યો છે. ચેક 1.1 અને 1.2 કમ્પાઇલર દ્વારા કરવા આવશ્યક છે. ચકાસણી 17.3 જીસીસી જેવા કમ્પાઈલર દ્વારા કરી શકાય છે.

સોર્સ: opennet.ru