Lijun Chen

Thanks for your response!

Thanks for the response. What's your opinion on this approach? Do you think it is worth it? Or maybe you think there are other more effective and less tedious solutions to design a more reliable state machine?

Hello, I've been learning about QP/C and state machines. If I understand correctly, in a typical HSM, events not handled by a state are passed to the parent state, until the root is reached and the event is implicitly ignored. Sometimes I worry that when I design a state machine I only consider the happy path and handle only some events. Therefore, I wonder whether it could be better to have the HSM abort if there is an unhandled event. This would force me to carefully consider for each state all...

I encountered the same bug. By inspecting the dump, I found out that the failing node had the classStart and classEnd attributes instead of bodyStart andbodyEnd. I was using the 1.82 version of cppcheck present in Ubuntu archives. I managed to fix the problem by compiling the newest version of cppcheck, which generates the correct dump. Actually when I generated the dump with the old version of cppcheck, I was using misra.py from an newer version, so it was a version incompatibility issue (my fault)....