Static Analysis for Firmware

Find bugs without running code: buffer overflows, null dereferences, MISRA violations.

Intermediate

cppcheck, clang-tidy, PC-lint Plus, Polyspace (proves absence of some run-time errors).

Spotted a mistake or want to add detail? Suggest an improvement — Content Contributors' edits are reviewed by editors before they go live.

Discussion (0)