Hi, I read that PCLint supports MISRA rules and others, and that it allows for 'User defined semantic checking for function arguments and return values'. I'd like to figure out if there is also the possibility to define new rules to be checked, besides the mentioned ones on semantic checking for function arguments and return values. Thanks
And that link contains:
Each of the Keil development tools, ARM, C51, C251, and C166, support Gimpel Software's PC-Lint. Configuration files are included in the Keil development tools which enable you to quickly and easily begin using PC-Lint in your application development and testing.
That should give a hint that questions about Gimpel Software's PC-Lint are most probably best handled by Gimpel Software, unless the question is explicitly about the configuration files that Keil supplies.
Keil can't even know which version of PC-Lint you might have aquired from Gimpel Software.