Ստատիկ անալիզատորի թողարկում cppcheck 2.1

Հասանելի է անվճար ստատիկ անալիզատորի նոր թողարկում cppcheck 2.1, որը թույլ է տալիս բացահայտել C և C++ լեզուների կոդում սխալների տարբեր դասեր, այդ թվում՝ ներկառուցված համակարգերի համար բնորոշ ոչ ստանդարտ շարահյուսություն օգտագործելիս։ Տրվում է պլագինների հավաքածու, որի միջոցով cppcheck-ը ինտեգրված է տարբեր զարգացման, շարունակական ինտեգրման և թեստավորման համակարգերի հետ, ինչպես նաև տրամադրում է այնպիսի հնարավորություններ, ինչպիսիք են. ստուգել կոդի համապատասխանությունը կոդի ձևաչափման ոճին: Կոդը վերլուծելու համար կարող եք օգտագործել կամ ձեր սեփական վերլուծիչը կամ Clang-ի արտաքին վերլուծիչը: Այն նաև ներառում է donate-cpu.py սկրիպտը, որը տրամադրում է տեղական ռեսուրսներ՝ Debian փաթեթների համար կոդի համատեղ վերանայման աշխատանք կատարելու համար: Ծրագրի աղբյուրները տարածվում է լիցենզավորված GPLv3-ի համաձայն:

Cppcheck-ի մշակումը կենտրոնացած է չսահմանված վարքի և անվտանգության տեսանկյունից վտանգավոր նախագծման հետ կապված խնդիրների բացահայտման վրա: Նպատակը նաև կեղծ պոզիտիվները նվազագույնի հասցնելն է: Ի թիվս բացահայտված Խնդիրներ՝ գոյություն չունեցող օբյեկտների ցուցիչներ, զրոյով բաժանումներ, ամբողջ թվերի արտահոսք, սխալ բիթային հերթափոխի գործողություններ, սխալ փոխարկումներ, խնդիրներ հիշողության հետ աշխատելիս, STL-ի սխալ օգտագործում, զրոյական ցուցիչների անջատում, բուֆեր իրական մուտքից հետո ստուգումներ կիրառելը, գնալը: բուֆերային սահմաններից դուրս՝ օգտագործելով չնախաստորագրված փոփոխականներ:

Source: opennet.ru

Добавить комментарий