PVS-સ્ટુડિયોની સ્વતંત્ર સમીક્ષા (Linux, C++)

મેં એક પ્રકાશન જોયું જે PVS એ Linux હેઠળ વિશ્લેષણ કરવાનું શીખી લીધું હતું, અને તેને મારા પોતાના પ્રોજેક્ટ્સ પર અજમાવવાનું નક્કી કર્યું. અને આ તેમાંથી બહાર આવ્યું છે.

અનુક્રમણિકા

1. Плюсы
2. મિનિસી
3. પરિણામો
4. ઉચ્ચારણ

Плюсы

પ્રતિભાવ આધાર

મેં ટ્રાયલ કીની વિનંતી કરી અને તેઓએ તે જ દિવસે મને મોકલી.

એકદમ સ્પષ્ટ દસ્તાવેજીકરણ

અમે કોઈપણ સમસ્યા વિના વિશ્લેષકને લોન્ચ કરવામાં વ્યવસ્થાપિત છીએ. કન્સોલ આદેશો માટે મદદ પણ ઉપલબ્ધ છે (જોકે અહીં કેટલીક ફરિયાદો છે, વિભાગ જુઓ મિનિસી).

મલ્ટિ-થ્રેડેડ વિશ્લેષણની શક્યતા

વિશ્લેષક પાસે "સ્ટાન્ડર્ડ" વિકલ્પ છે -j, વિશ્લેષણને ઘણા કાર્યોમાં સમાંતર રીતે હાથ ધરવા માટે પરવાનગી આપે છે. આનાથી ઘણો સમય બચે છે.

સારું વિઝ્યુલાઇઝેશન

ઘણાં વિવિધ આઉટપુટ ફોર્મેટ, ટેક્સ્ટથી લઈને નાના વેબ મઝલ સુધી. વેબ ઈન્ટરફેસ અનુકૂળ, સંક્ષિપ્ત છે, કોડમાં લીટીઓની બાજુમાં સંકેતો અને ડાયગ્નોસ્ટિક વર્ણનોની લિંક્સ સાથે.

એસેમ્બલીમાં સરળ એકીકરણ

બધા દસ્તાવેજો તેમની વેબસાઇટ પર છે, હું ફક્ત એટલું જ કહી શકું છું કે જો તમારો પ્રોજેક્ટ સીમેકનો ઉપયોગ કરીને બનાવવામાં આવ્યો હોય, તો બધું ખૂબ સરળ છે.

સારા ડાયગ્નોસ્ટિક વર્ણનો

જો તમે મોડમાં આઉટપુટ જનરેટ કરો છો fullhtml, પછી દરેક સંદેશમાં ડાયગ્નોસ્ટિક વર્ણનની લિંક હોય છે, જેમાં સ્પષ્ટતાઓ, કોડ ઉદાહરણો અને વધારાની લિંક્સ હોય છે.

મિનિસી

વિશ્લેષક દ્વારા C++ ભાષાની અજ્ઞાનતા

કમનસીબે, PVS કેટલીકવાર વાક્યરચનામાં ભૂલો કરે છે અને જ્યારે કોડ સંપૂર્ણપણે સાચો હોય ત્યારે ખોટા હકારાત્મક સંદેશાઓ જનરેટ કરે છે.

ઉદાહરણ તરીકે, ત્યાં એક કાર્ય છે જે પરત કરે છે void:

template <typename T>
auto copy (const void * source, void * destination)
    ->
        std::enable_if_t
        <
            std::is_copy_constructible<T>::value
        >
{
    new (destination) T(*static_cast<const T *>(source));
}

હા મુખ્ય શબ્દ છે auto અર્થ કરી શકો છો void, તે તેના માટે છે ઓટો. પરંતુ PVS એ નીચેના સંદેશાઓ ઉત્પન્ન કર્યા:

dynamic_tuple_management.hpp:29:1: error: V591 Non-void function should return a value.
dynamic_tuple_management.hpp:29:1: error: V2542 Function with a non-void return type should return a value from all exit paths.

ખૂબ જ ધીમી સાઇટ

હા, દરેક સંદેશની બાજુમાં વેબ ઈન્ટરફેસમાં ઉદાહરણો સાથે સંબંધિત ડાયગ્નોસ્ટિક વર્ણનની લિંક છે. પરંતુ જ્યારે તમે કોઈ લિંક પર ક્લિક કરો છો, ત્યારે તમારે ખૂબ લાંબો સમય રાહ જોવી પડે છે, અને ક્યારેક તે થાય છે 504 ગેટવે ટાઈમ-આઉટ.

ભાષા

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

કન્સોલ દ્વારા ડાયગ્નોસ્ટિક સ્તરો સાથે કામ કરવું અસુવિધાજનક છે

ચાલો એ હકીકતથી પ્રારંભ કરીએ કે બે આદેશોનો ઉપયોગ થાય છે (આ pvs-studio-analyzer и plog-converter) ડાયગ્નોસ્ટિક્સ સ્પષ્ટ કરવા માટે વિવિધ ફોર્મેટ્સ.

માટે મદદ pvs-studio-analyzer વાંચે છે:

-a [MODE], --analysis-mode [MODE]
    MODE defines the type of warnings:
    1 - 64-bit errors;
    2 - reserved;
    4 - General Analysis;
    8 - Micro-optimizations;
    16 - Customers Specific Requests;
    32 - MISRA.
    Modes can be combined by adding the values
    Default: 4

મેં ક્યાં જવું તે શોધવામાં ઘણો સમય પસાર કર્યો ઉમેરો ("મૂલ્યો ઉમેરવા") કી. મેં તેમને અલ્પવિરામ દ્વારા અલગ કરીને સૂચિબદ્ધ કરવાનો પ્રયાસ કર્યો:

pvs-studio-analyzer analyze ... -a 1,4,16

મેં ઘણી વખત કી રજીસ્ટર કરવાનો પ્રયાસ કર્યો:

pvs-studio-analyzer analyze ... -a 1 -a 4 -a 16

અને ત્યારે જ મને ખ્યાલ આવ્યો કે આ બીટ માસ્ક છે! અને તમારે જરૂર છે ટૂંકમાં, અને નહીં ઉમેરો અર્થો ઉદાહરણ તરીકે, સામાન્ય નિદાન, માઇક્રો-ઓપ્ટિમાઇઝેશન અને MISRA માટે ડાયગ્નોસ્ટિક્સ મેળવવા માટે, તમારે તેનો સરવાળો કરવાની જરૂર છે (4 + 8 + 32 = 44):

pvs-studio-analyzer analyze ... -a 44

વપરાશકર્તા ઈન્ટરફેસમાં બિટમાસ્કનો ઉપયોગ સામાન્ય રીતે ખરાબ સ્વરૂપ છે. આ બધું આંતરિક રીતે સારાંશ આપી શકાય છે, અને ફ્લેગનો સમૂહ વપરાશકર્તા માટે સેટ કરી શકાય છે.

વધુમાં, એક ઉપયોગિતા પણ છે plog-converter, જે માનવ-વાંચી શકાય તેવી સ્થિર વિશ્લેષણ માહિતી જનરેટ કરે છે. તેણીને અન્ય સમસ્યાઓ છે.

કાર્યક્રમ માટે મદદ plog-converter અહેવાલો:

-a, --analyzer            Specifies analyzer(s) and level(s) to be
                          used for filtering, i.e.
                          'GA:1,2;64:1;OP:1,2,3;CS:1;MISRA:1,2'
                          Default: GA:1,2

કેટલાક "સ્તરો" અહીં દેખાયા જે પહેલાં ત્યાં ન હતા, અને મને દસ્તાવેજોમાં પણ તેમના વિશે કંઈપણ મળ્યું નથી.

સામાન્ય રીતે, તે સ્પષ્ટ નથી. તેથી જ મેં બધું મહત્તમ પર સેટ કર્યું છે.

કેચ પર મૂર્ખ શપથ લેવાનો સમૂહ

મેં વિશ્લેષણ કરેલ ત્રણ પ્રોજેક્ટ્સમાંથી બે એકમ પરીક્ષણ પુસ્તકાલયનો ઉપયોગ કરે છે કેચ2. અને સંદેશાઓનો સિંહફાળો (!!! એકમાં 90 માંથી 138 અને બીજામાં 297 માંથી 344!!!) નીચેનું સ્વરૂપ ધરાવે છે:

મલ્ટિથ્રેડિંગને ધ્યાનમાં લેતું નથી

અપરિવર્તનશીલ ચલ અથવા અનંત લૂપ્સ વિશે ઘણા ખોટા હકારાત્મક છે, જ્યારે આ ચલો સાથે કામ અલગ-અલગ થ્રેડોમાંથી થાય છે, અને જો આવું ન હોત, તો એકમ પરીક્ષણો કામ કરશે નહીં.

જો કે, શું સ્થિર વિશ્લેષક પણ આને ધ્યાનમાં લઈ શકે છે? ખબર નથી.

પરિણામો

PVS ને મારા ઓપન સોર્સ પ્રોજેક્ટ્સમાં કોઈ વાસ્તવિક ભૂલો મળી નથી વિસ્ફોટ и પ્રોક્સિમા, તેમજ કાર્યકારી ડ્રાફ્ટમાં, જે, સ્પષ્ટ કારણોસર, હું રજૂ કરી શકતો નથી. સાચું, તે ધ્યાનમાં રાખવું યોગ્ય છે કે કેટલીક ખામીઓ પહેલાથી જ પકડવામાં આવી છે અને અગાઉના ઉપયોગથી સુધારેલ છે સીપીપીચેક и scan-build.

સામાન્ય રીતે, આ બધા વિશ્લેષકોની છાપ લગભગ સમાન છે: હા, તેઓ કંઈક પકડે છે, કેટલીકવાર કંઈક મહત્વપૂર્ણ પણ, પરંતુ એકંદરે કમ્પાઈલર પૂરતું છે.

તે શક્ય છે (અને મને વ્યક્તિગત રીતે એવું વિચારવું ગમે છે) કે અમારી ટીમ સોફ્ટવેર ડેવલપમેન્ટ પ્રેક્ટિસનો ઉપયોગ કરે છે જે અમને ન્યૂનતમ માત્રામાં શિટી કોડ જનરેટ કરવાની મંજૂરી આપે છે. વીરતાપૂર્વક તેને દૂર કરવા કરતાં સમસ્યાઓ ઊભી ન કરવી તે વધુ સારું છે.

તેથી, હું C++ માં કેવી રીતે લખવું તે અંગે કેટલીક સલાહ આપવાની સ્વતંત્રતા લઉં છું જેથી કરીને કોઈના પગને ગોળી ન મારવી અથવા કોઈના કપાળમાં રેક વડે મારવું નહીં.

કમ્પાઇલર ડાયગ્નોસ્ટિક્સનો મહત્તમ ઉપયોગ કરો

અમારી ટીમ નીચેના સંકલન વિકલ્પોનો ઉપયોગ કરે છે (અને તમને સલાહ આપે છે)

-Werror

-Wall
-Wextra
-Wpedantic

-Wcast-align
-Wcast-qual
-Wconversion
-Wctor-dtor-privacy
-Wenum-compare
-Wfloat-equal
-Wnon-virtual-dtor
-Wold-style-cast
-Woverloaded-virtual
-Wredundant-decls
-Wsign-conversion
-Wsign-promo

તેમને તમારા પ્રોજેક્ટમાં સક્ષમ કરો અને તમારા કોડ વિશે ઘણું શીખો.

ધોરણને વળગી રહો

જો પ્રમાણભૂત એનાલોગ હોય તો પ્લેટફોર્મ-આશ્રિત વસ્તુઓનો ઉપયોગ ન કરવાનો પ્રયાસ કરો, અને જો તમે તેમના વિના સંપૂર્ણપણે કરી શકતા નથી, તો તેમને મેક્રો (અથવા બીજું કંઈક) માટેના વિશિષ્ટ બ્લોક્સમાં લપેટી દો અને ફક્ત તમારા કોડને અસમર્થિત પરિસ્થિતિઓમાં સંકલિત થવા દો નહીં.

પ્રમાણભૂત ઓપરેશન સિમેન્ટિક્સને વળગી રહો

સરવાળો સરવાળો હોવો જોઈએ, ગુણાકાર ગુણાકાર હોવો જોઈએ, ફંક્શન કૉલ ફંક્શન કૉલ હોવો જોઈએ, કૉપિ કૉપિ હોવી જોઈએ, કૅરી જ હોવી જોઈએ, કન્ટેનર પુનરાવર્તિત હોવું જોઈએ, ઇટરરેટરમાં પ્રમોશન હોવું આવશ્યક છે ++ અને સંદર્ભ *. અને તેથી આગળ અને તેથી આગળ.

મને લાગે છે કે વિચાર સ્પષ્ટ છે. ત્યાં સ્થાપિત સંમેલનો છે જે બંધનકર્તા નથી, પરંતુ તમારા કોડના બધા વપરાશકર્તાઓ અને વાચકો જોવાની અપેક્ષા રાખે છે. બીજાને ચકિત કરવાનો પ્રયાસ કરશો નહીં, નહીં તો તમે તમારી જાતને પરાજય આપશો.

સુસંગત કોડ લખો

સૌ પ્રથમ, મારો મતલબ પ્રમાણભૂત પુસ્તકાલય. તે ખૂબ જ ઇચ્છનીય છે કે તમારા વર્ગો અને કાર્યોના ઇન્ટરફેસનો ઉપયોગ પ્રમાણભૂત અને અન્ય પુસ્તકાલયો (ઉદાહરણ તરીકે, બૂસ્ટ) સાથે થઈ શકે.

STL અને બૂસ્ટ ઇન્ટરફેસ પર એક નજર નાખો. દુર્લભ અપવાદો સાથે, તમે ત્યાં એક યોગ્ય રોલ મોડેલ જોશો.

ઓપન સોર્સ ટૂલ્સનો મહત્તમ ઉપયોગ કરો

સમાન સ્થિર વિશ્લેષણ માટે, ત્યાં ઓછામાં ઓછા બે ખુલ્લા મફત સાધનો છે જે CMake બિલ્ડ સિસ્ટમ સાથે કોઈપણ પ્રોજેક્ટ સાથે ફક્ત એક જ વાર કનેક્ટ થઈ શકે છે.

તમે મારા તાજેતરના પ્રકાશનમાં આ વિશે વધુ વાંચી શકો છો.

ઉચ્ચારણ

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

આ માત્ર એક પરિણામ છે. આપણે કારણ શોધવાની અને તેને દૂર કરવાની જરૂર છે.

સોર્સ: www.habr.com