Cppcheck ప్రాజెక్ట్ అభివృద్ధిని అమలు చేయడానికి నిధులను సేకరిస్తోంది.

Cppcheck (Daniel Marjamäki) డెవలపర్ తన స్టాటిక్ ఎనలైజర్‌కు C మరియు C++లో సాఫ్ట్‌వేర్‌ను ధృవీకరించే సామర్థ్యాన్ని జోడించబోతున్నారు.

Cppcheckలో సాఫ్ట్‌వేర్ ధృవీకరణ

"ధృవీకరణ" మోడ్‌లో, కోడ్ సురక్షితమని ధృవీకరించలేకపోతే Cppcheck ఒక హెచ్చరికను జారీ చేస్తుంది, కానీ దీని వలన శబ్దం (బహుళ హెచ్చరికలు) ఏర్పడవచ్చు.

అమలు ప్రణాళికలు

ధృవీకరణ మోడ్ వరుసగా అమలు చేయబడుతుంది. మొదటి దశలో, పని సున్నా తనిఖీ ద్వారా విభజనపై దృష్టి పెడుతుంది. ఇది సాపేక్షంగా సాధారణ తనిఖీ. ప్రతి ఫంక్షన్ విడిగా పరీక్షించబడుతుంది. అన్ని ఇన్‌పుట్ డేటా ఏకపక్ష విలువను కలిగి ఉంటుందని భావించబడుతుంది. ఇతర రకాల నిర్వచించబడని ప్రవర్తన కోసం తనిఖీలు తర్వాత జోడించబడతాయి. C మరియు C++ పార్సింగ్‌ను మెరుగుపరచడానికి కూడా ప్రణాళికలు ఉన్నాయి.

అభివృద్ధిని వేగవంతం చేయండి

కిక్‌స్టార్టర్‌లో నిధుల సేకరణ లక్ష్యం ధృవీకరణ మోడ్ అభివృద్ధిని వేగవంతం చేయడం. మేము ఈ ఫీచర్‌ని ఎలాగైనా జోడించాలని ప్లాన్ చేస్తున్నాము, అయితే నిధులు సమీకరించబడకపోతే పనికి ఎక్కువ సమయం పట్టవచ్చు. నిధులు సమీకరించబడితే, డేనియల్ తన పని సమయాన్ని పూర్తిగా cppcheck ప్రాజెక్ట్‌కు కేటాయించడానికి తన ప్రధాన ఉద్యోగం నుండి సెలవు తీసుకోగలుగుతాడు.

ప్రాజెక్ట్ లక్ష్యాలు

• సున్నా పరీక్షల ద్వారా విభజన నుండి తప్పుడు ప్రతికూలతలను తొలగించడం జూలియట్ и ఐటీసీ.

• తప్పుడు పాజిటివ్‌ల దిద్దుబాటు (చూడండి. బగ్#9402).

• C++ పార్సర్‌ని మెరుగుపరచడం.

మూలం: linux.org.ru