Lëshimi i analizuesit statik cppcheck 2.1

I disponueshëm lëshimi i ri i analizatorit të statik të lirë cppcheck 2.1, i cili lejon identifikimin e klasave të ndryshme të gabimeve në kodin në gjuhët C dhe C++, duke përfshirë përdorimin e sintaksës jo standarde, e cila është tipike për sistemet e integruara. Oferohet një koleksion plug-in-esh, përmes të cilave sigurohet integrimi i cppcheck me sistemet e zhvillimit, integrimit të vazhdueshëm dhe testimit, si dhe mundësi të tilla si verifikimi i përputhjes së kodit me stilin e formatimit të kodit. Për analizimin e kodit mund të përdoret si parser-i i tij, ashtu edhe parser-i i jashtëm nga Clang. Në paketë përfshihet gjithashtu skenari donate-cpu.py për ofrimin e burimeve lokale për realizimin e punës së përbashkët në verifikimin e kodit të paketeve Debian. Burimet e kodit të projektit shpërndahet në licencë GPLv3.

Zhvillimi i cppcheck është përqendruar në identifikimin e problemeve që lidhen me sjelljen e pasigurt dhe përdorimin e konstrukcioneve që janë të rrezikshme nga pikëpamja e sigurisë. Qëllimi është gjithashtu minimizimi i false positives. Ndër problemet e identifikuara: të dhënat mbi objekte të paekzistueshme, ndarjet nga zero, mbingarkimet numerike, operacionet e gabuara të shfrytëzimit të bitëve, transformimet e gabuara, problemet gjatë punës me memorien, përdorimi i gabuar i STL, de-referenca e pointer-ave null, aplikimi i kontrollit pas aksesit real në buffer, kalimi përtej kufijve të buffers, përdorimi i variablave të pa inicializuar.

Burimi: opennet.ru

Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS đŸ”„ Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS | ProHoster