برنامه‌نویسی ایمن و استفاده از روش‌ها، تکنیک‌ها و ویژگی‌های ایمن در توسعه نرم‌افزارها، همواره مورد توجه بخش‌های صنعتی از جمله در حوزه‌های سیستم های نهفته، هوایی، نفت و گاز، ریلی و خودروسازی بوده است. انجمن قابلیت اطمینان نرم افزار در صنعت موتور ( Motor Industry Software Reliability Association ) که به اختصار MISRA نامیده می شود، مجموعه ای از دستورالعمل های توسعه نرم افزار برای زبان برنامه نویسی C و ++C را با هدف تسهیل ایمنی کد، امنیت، قابلیت حمل و قابلیت اطمینان سیستم های تعبیه شده فراهم کرده است که جزو بهترین منابع در زمینه کدنویسی امن می باشد. آخرین ورژن منتشر شده MISRA C برای سال 2012 و برای ++C برای سال 2008 می باشد که در زیر میتوانید آن ها را دریافت نمایید. توضیح اینکه MISRA C 2012 سه تا اصلاحیه خورده است و میتونید این اصلاحیه ها را نیز دانلود نمایید. در پایان هم یک چک لیست برای مشخص کردن ههمچنین ابزارها و نرم افزارهای مختلفی وجود دارند که ایمن بودن کد شما را بررسی می کنند به این ابزارها Static Analyzer نیز گفته می شود. برای آشنایی بیشتر با این ابزارها به مقاله آموزش استفاده از ابزار تحلیل گر کد ایستا cppcheck در keil مراجعه نمایید.
نام کتاب : Guidelines for the use of the C++ language in critical systems : MISRA C++ 2008
ناشر : MIRA
سال انتشار : 2008
تعداد صفحات : 220
فرمت : PDF
لینک دانلود :
لینک دانلود MISRA C++ 2008 با حجم 2 مگابایت
نام کتاب : Guidelines for the use of the C language in critical systems : MISRA C 2012
ناشر : MIRA
سال انتشار : 2012
تعداد صفحات : 236
فرمت : PDF
لینک دانلود :
لینک دانلود MISRA C 2012 با حجم 2 مگابایت
لینک دانلود کلیه اصلاحیه های MISRA C Amendment با حجم 1 مگابایت
دانلود چک لیست برای MISRA C و ++C
چند دسته بندی در قوانین MISRA وجود دارد. یک سری از قانون ها Mandatory هستند و بایستی حتما رعایت شوند. دسته دیگر Required هستند و رعایت آن ها بسیار ضروری است. دسته سوم Advisory هستند و رعایت آن ها پیشنهاد می شود اما الزامی نیست. همچنین برخی از قوانین MISRA فقط برای زبان برنامه نویسی C90 ( یعنی ورژن 1990 ) و برخی دیگر برای C99 ( یعنی ورژن 1999 ) و برخی دیگر برای هر دو آن ورژن ها کاربرد دارند. به منظور گرفتن گزارش اجرای قوانین MISRA در یک پروژه خاص و مشخص شدن تعداد Rule های رعایت شده و رعایت نشده میتوان از یک چک لیست استفاده کرد. برای راحتی کار شما کلیه قوانین MISRA C به همراه آخرین اصلاحیه ها در اکسل گردآوری شده است که میتوانید از لینک زیر دریافت نمایید.
دیدگاهتان را بنویسید