برای بهتر کردن کدهای میکروها باید استاندارد MISRA را رعایت کنیم. در ای دی ای کیل ابزاری برای این کار پیش بینی شده است که متاسفانه رایگان نمی باشد.
نحوه ی نصب آن در این لینک آورده شده است.
http://www.keil.com/support/man/docs/uv4/uv4_ut_pclint_validation.htm