Yes. MISRA C might be a good candidate to add a borrow checker. I am not terribly familiar with the MISRA C rules, so I am not sure how much borrowing / move

Yes. MISRA C might be a good candidate to add a borrow checker. I am not terribly familiar with the MISRA C rules, so I am not sure how much borrowing / move semantics is permitted under MISRA C.