Cppcheck પ્રોજેક્ટ સુધારાઓને અમલમાં મૂકવા માટે ભંડોળ એકત્ર કરી રહ્યું છે.

Cppcheck (Daniel Marjamäki) ના વિકાસકર્તા તેના સ્ટેટિક વિશ્લેષકમાં C અને C++ માં સોફ્ટવેરને ચકાસવાની ક્ષમતા ઉમેરવા જઈ રહ્યા છે.

Cppcheck માં સોફ્ટવેર વેરિફિકેશન

"ચકાસણી" મોડમાં, Cppcheck ચેતવણી જારી કરશે જો તે ચકાસી શકતું નથી કે કોડ સુરક્ષિત છે, પરંતુ આ અવાજ (બહુવિધ ચેતવણીઓ) માં પરિણમી શકે છે.

અમલીકરણ યોજનાઓ

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

વિકાસને વેગ આપો

કિકસ્ટાર્ટર પર ભંડોળ ઊભું કરવાનો ધ્યેય ચકાસણી મોડના વિકાસને વેગ આપવાનો છે. અમે કોઈપણ રીતે આ સુવિધા ઉમેરવાની યોજના બનાવીએ છીએ, પરંતુ જો ભંડોળ એકત્ર કરવામાં ન આવે તો કાર્યમાં વધુ સમય લાગી શકે છે. જો ભંડોળ એકત્ર કરવામાં આવે છે, તો ડેનિયલ તેના કામકાજના સમયને સંપૂર્ણપણે cppcheck પ્રોજેક્ટમાં સમર્પિત કરવા માટે તેની મુખ્ય નોકરીમાંથી ગેરહાજરીની રજા લઈ શકશે.

પ્રોજેક્ટ ગોલ

• માં શૂન્ય પરીક્ષણો દ્વારા વિભાજનમાંથી ખોટા નકારાત્મકને દૂર કરવું જુલિયટ и આઇટીસી.

• ખોટા સકારાત્મક સુધારણા (જુઓ. BUG#9402).

• C++ પાર્સરનો સુધારો.

સોર્સ: linux.org.ru