The words contained in this file might help you see if this file matches what you are looking for:

...Pc lint v request a quote x is powerful static analysis tool that will check your c source code and find bugs glitches inconsistencies non portable constructs redundant much more it looks across multiple modules so enjoys perspective compiler does not have cannot always detect each every potential problem in files this where comes supports k r ansi iso standards explicit support for misra motor industry software reliability association value tracking of auto variables detects subtle initialization misuse problems inter function statement crosses boundaries optional strong type checking typedef based with rich option set to nominal differences user defined semantic arguments return values the keil development tools arm gimpel s configuration are included which enable you quickly easily begin using application testing...