A problem there is cost for a personal project: are there any free or low-cost MISRA C static checkers out there?
Frama-C might be worth looking into if the goal is improved reliability, and they'd be able to leverage their existing C skillset.
Frama-C might be worth looking into if the goal is improved reliability, and they'd be able to leverage their existing C skillset.
The MISRA documentation is not very expensive and useful by itself, £15 + VAT for an ecopy: http://www.misra.org.uk/?TabId=58