article
February 28, 2022
4 min read
0 views
Static Analysis for Embedded C: MISRA, PC-lint, and Clang Static Analyzer
MISRA C 2012 rules catch real bugs but require a paid checker. PC-lint finds different things than Clang's static analyzer. A layered approach for a safety-adjacent product.
MISRA C 2012 rules catch real bugs but require a paid checker. PC-lint finds different things than Clang's static analyzer. A layered approach for a safety-adjacent product.
Overview
This note is part of the field-notes archive generated for this site. The summary below is the published excerpt; you can expand the full write-up anytime in the CMS.
Related notes
Tags
- static-analysis
- misra
- c
- safety
- embedded
M
Manish Bookreader
Electronics enthusiast, Embedded Systems Expert, Linux/Networking programmer, and Software Engineer passionate about AI, electronics, books, and cooking.
