I am using S32DS and RTM 3.0 to program s32k144 chip. Our company is planning to make the current code MISRA compatible. We have a licensed version on PC-Lint and having a hard time to integrate it to S32DS. I already referred these post in NXP community.