Cppcheck প্রকল্পটি উন্নতি বাস্তবায়নের জন্য তহবিল সংগ্রহ করছে।

Cppcheck এর ডেভেলপার (Daniel Marjamäki) তার স্ট্যাটিক অ্যানালাইজারে C এবং C++-এ সফ্টওয়্যার যাচাই করার ক্ষমতা যোগ করতে চলেছে।

Cppcheck এ সফ্টওয়্যার যাচাইকরণ

"যাচাই" মোডে, Cppcheck একটি সতর্কতা জারি করবে যদি এটি যাচাই করতে না পারে যে কোডটি নিরাপদ, তবে এর ফলে গোলমাল হতে পারে (একাধিক সতর্কবার্তা)।

বাস্তবায়ন পরিকল্পনা

যাচাইকরণ মোড ক্রমানুসারে প্রয়োগ করা হবে। প্রথম পর্যায়ে, কাজ শূন্য চেক দ্বারা বিভাজনে মনোনিবেশ করবে। এটি একটি অপেক্ষাকৃত সহজ চেক। প্রতিটি ফাংশন আলাদাভাবে পরীক্ষা করা হবে। এটা অনুমান করা হয় যে সমস্ত ইনপুট ডেটা একটি নির্বিচারে মান থাকতে পারে। অন্যান্য ধরনের অনির্ধারিত আচরণের জন্য চেক পরে যোগ করা হবে। এছাড়াও C এবং C++ পার্সিং উন্নত করার পরিকল্পনা রয়েছে।

উন্নয়ন ত্বরণ

Kickstarter-এ তহবিল সংগ্রহের লক্ষ্য হল যাচাইকরণ মোডের বিকাশকে ত্বরান্বিত করা। আমরা যাইহোক এই বৈশিষ্ট্যটি যোগ করার পরিকল্পনা করি, তবে তহবিল না বাড়ালে কাজটি আরও বেশি সময় নিতে পারে। তহবিল সংগ্রহ করা হলে, ড্যানিয়েল তার কাজের সময় সম্পূর্ণভাবে cppcheck প্রকল্পে উত্সর্গ করার জন্য তার প্রধান কাজ থেকে অনুপস্থিতির ছুটি নিতে সক্ষম হবেন।

প্রকল্পের লক্ষ্য

• শূন্য পরীক্ষা দ্বারা ভাগ থেকে মিথ্যা নেতিবাচক নির্মূল করা জুলিয়েট и আইটিসি.

• মিথ্যা ইতিবাচক সংশোধন (দেখুন। বাগ#9402).

• C++ পার্সারের উন্নতি।

উত্স: linux.org.ru