Dimittis de cppcheck 2.6, codicem statice analystoris pro C ++ et C linguarum

Nova versio Codicis statici analysris cppcheck 2.6 dimissum est, quod permittit ut varias errores in codice C et C ++ linguas cognoscas, inter quas cum syntaxi non norma utens, systematis immersis typicam. Collectio pluginorum providetur per quae cppcheck integratur variis evolutionibus, continuis, integrationibus et experimentis systematibus, ac etiam tales notas praebet ut codicem inhibendo obsequium styli codicis. Ad codicem parse, vel parser tuo vel externo e Clang, uti potes. Etiam scriptum donate-cpu.py ut subsidia localia praebeat ad operandum codicem collaborativum retractationis pro fasciculis Debianis. Fons codicis consilii sub licentia GPLv3 distribuitur.

Explicatio cppcheck tenditur in cognoscendis quaestionibus cum indefinitis moribus et usu consiliorum periculosorum ex parte salutis. Propositum est etiam positivis falsis obscuratis. Inter problemata identificanda: indicibus obiectis non existentibus, divisiones nullae, integrae superfluunt, nonnihil mutae operationes, falsae conversiones, problemata cum memoria laborantes, usus perperam STL, regula nulla dereferences, usus frenorum post actualem accessum. ad quiddam, quiddam eliminandum, usui variabilium inexercitatum.

In nova versione:

  • Sequentes cohibetiones ad nucleum analyser additae sunt:
    • absentia, reditum operantis in munere corporis;
    • notatio imbricatis data, mores indefinitos definiens;
    • valor comparatus extra valorem repraesentationem generis est;
    • effingo ipsum non competit reddere std::move(loci);
    • tabella simul aperiri non potest ad legendam et scribendam in diversis rivis (amnis);
  • ad tabulata Unix, subsidium addidit ad nuntiis diagnostica variis coloribus exhibendas;
  • additae symbolicae analysis pro ValueFlow. Simplici della utitur cum differentiam duarum variabilium ignotarum computando;
  • regulas pro indice notarum "definire" etiam #includere possunt;
  • bibliotheca tag nunc potest continere tag ac proinde munera gratuita, quae receptacula recipere possunt, ut std::size, std:: vacua, std::incipiunt, std::end, etc. specificare potest yeld vel actio ad connexiones;
  • bibliotheca tag nunc potest continere tag pro callidi indicibus qui singularem dominium habent. Monitio nunc edita est de pendentibus indiciis harum specierum acutis indiciis;
  • fixa problemata expediendis parametri -cppcheck-buil-dir;
  • htmlreport nunc informationes de auctoris ostendere (using git blame);
  • admonitiones protractae de variabilibus non constantibus, sed esse possunt;
  • Errores congesti et delicta analystoris correcti sunt.

Accedit e Misra C 2012, incluso emendatione 1 et emendatione 2, plene completae sunt, exceptis regulis 1.1, 1.2 et 17.3. SCUTULATUM 1.1 et 1.2 ab compilator perficienda sunt. Comprobatio 17.3 perfici potest a compilator ut GCC.

Source: opennet.ru