I understand PC-Lint has to be bought separately from the Keil C51 V7 Compiler / Assembler kit. It also has MISRA support built in. 1) Can this PC-Lint software be used to check C source code targeted for other (non-Keil) processors, or should a dedicated package be acquired? 2) Although I support safe C, can the MISRA checking be disabled, if so required, for a specific application?
PC-Lint may be used with just about ANY standard C or C++ compiler. Jon
And to answer the other question: yes, you can disable the MISRA checking. You can, in fact, individually enable or disable checking for individual Required or Advisory rules if you like. PC-Lint is extremely customizable with respect to the error messages that appear.