PC-lint و استاندارد MISRA در keil

سلام دوستان
درباره نصب PC-lint_v9.exe و چک کردن کد با MISRA Checking & Code Metrics Computation اطلاعات یا فایل مرتبطی دارید.
توی محتوا فارسی یک سایتی رو پیدا کردم که نرم افزار رو به فروش میرسوند.
اما واسه دانلود PC-lint_v9.exe توی محتوا انگلیسی، چیزی رو پیدا نکردم.

و اینکه آیا تا الان از این static analysis tool برای کد هاتون توی keil استفاده کردید؟
استفاده کردن و یا استفاده نکردن اش چه مزایا یا معایبی داره؟