Product Profile of Static Analysis Tool for Finding Errata in C Programs
Static Analysis Tool for Finding Errata in C Programs is a powerful static analysis tool that checks the C/C++ source code and finds bug, glitches, inconsistencies, non-portable constructs, redundant code, and much more. Static Analysis Tool for Finding Errata in C Programs is offered by Embedded Systems Solutions Pvt Ltd.
Embedded Systems Solutions Pvt Ltd also offers hardware and software solutions for the embedded systems market. Static Analysis Tool for Finding Errata in C Programs, PC Lint, supports K&R C, ANSI C, and ANSI/ISO C++ standards. It features user-defined semantic checking for function arguments and return values.
Key Features of Static Analysis Tool for Finding Errata in C Programs
- Explicit support for MISRA C and MISRA C++ [Motor Industry Software Reliability Association] standards
- Value tracking of auto and static variables detects subtle initialization and value misuse problems
- Inter-function Value Tracking - powerful inter-statement value tracking crosses function boundaries
- Optional strong type checking [typedef-based] with a rich option set to detect nominal type differences
