انتشار تحلیلگر استاتیک cppcheck 2.1

در دسترس نسخه جدید تحلیلگر استاتیک رایگان cppcheck 2.1، که به شما امکان می دهد کلاس های مختلفی از خطاها را در کد در زبان های C و C++ شناسایی کنید، از جمله هنگام استفاده از نحو غیر استاندارد، معمولی برای سیستم های جاسازی شده. مجموعه ای از پلاگین ها ارائه شده است که از طریق آن cppcheck با سیستم های مختلف توسعه، ادغام و آزمایش مداوم یکپارچه می شود و همچنین ویژگی هایی مانند проверка مطابقت کد با سبک قالب بندی کد. برای تجزیه کد، می توانید از تجزیه کننده خود یا تجزیه کننده خارجی Clang استفاده کنید. همچنین شامل اسکریپت donate-cpu.py برای ارائه منابع محلی برای انجام کار بررسی کد مشترک برای بسته‌های دبیان است. منابع پروژه توزیع شده توسط تحت مجوز GPLv3.

توسعه cppcheck بر شناسایی مشکلات مرتبط با رفتار تعریف نشده و استفاده از طرح هایی که از نقطه نظر ایمنی خطرناک هستند متمرکز است. هدف نیز به حداقل رساندن موارد مثبت کاذب است. در میان شناخته شده است مشکلات: اشاره گر به اشیاء ناموجود، تقسیم بر صفر، سرریز اعداد صحیح، عملیات تغییر بیت نادرست، تبدیل های نادرست، مشکلات هنگام کار با حافظه، استفاده نادرست از STL، ارجاع دادن به اشاره گرهای تهی، اعمال بررسی پس از دسترسی واقعی به بافر، رفتن فراتر از مرزهای بافر، با استفاده از متغیرهای اولیه.

منبع: opennet.ru

اضافه کردن نظر