Release fan cppcheck 2.7, in statyske koadeanalysator foar C ++ en C-talen

In nije ferzje fan 'e statyske koadeanalysator cppcheck 2.7 is frijlitten, wêrtroch jo ferskate klassen fan flaters yn' e koade kinne identifisearje yn 'e C- en C ++-talen, ynklusyf by it brûken fan net-standertsyntaksis, typysk foar ynbêde systemen. In kolleksje fan plugins wurdt levere troch hokker cppcheck wurdt yntegrearre mei ferskate ûntwikkeling, trochgeande yntegraasje en testen systemen, en ek jout sokke funksjes as kontrolearjen koade konformiteit mei de koade styl. Om koade te parsearjen kinne jo jo eigen parser brûke as in eksterne parser fan Clang. It omfettet ek it donate-cpu.py-skript om lokale boarnen te leverjen om gearwurkjend koadebeoardielingswurk te dwaan foar Debian-pakketten. De boarnekoade fan it projekt wurdt ferspraat ûnder de GPLv3-lisinsje.

De ûntwikkeling fan cppcheck is rjochte op it identifisearjen fan problemen ferbûn mei undefinieare gedrach en it brûken fan ûntwerpen dy't gefaarlik binne út in feiligenspunt. It doel is ek om falske positiven te minimalisearjen. Under de identifisearre problemen: oanwizers nei net-besteande objekten, divyzjes ​​​​troch nul, oerstreamingen fan heule getal, ferkearde bitferskowingsoperaasjes, ferkearde konversaasjes, problemen by it wurkjen mei ûnthâld, ferkeard gebrûk fan STL, nul-oanwizer dereferences, it brûken fan kontrôles nei de werklike tagong oan de buffer, buffer oerrin, gebrûk fan uninitialized fariabelen.

Parallel oan it ûntwikkeljen fan it Sweedske bedriuw Cppcheck Solutions AB in útwreide ferzje fan Cppcheck Premium, dy't analyse leveret fan 'e oanwêzigens fan ûneinige loops, ferbettere sykjen foar uninitialisearre fariabelen en avansearre bufferoverflowanalyse.

Yn de nije ferzje:

  • Stipe tafoege foar werjeften fan konteners - it werjefteattribút is tafoege oan de biblioteektag, wat oanjout dat de klasse in werjefte is. De libbenslange analysekoade is bywurke om dit attribút te brûken by it sykjen nei hingjende konteners;
  • Ferbettere kontrôles;
  • Akkumulearre flaters binne korrizjearre en tekoartkommingen yn 'e analysator binne elimineare.

Boarne: opennet.ru

Add a comment