Gimpel Software has released, Version 9.0 of their Lint program. Lint is the nitpickiest of all programs when it comes to finding errors in C and C++ code.
Most relevant to us at Software Safety .Net is the enhanced Motor Industry Software Reliability Association checking which includes the detection of recursion, support for the MISRA 2 'underlying type' concept, determination of side effects for functions and MISRA C++ support and more. If your budget is limited this is the one program that you must have.
Posts
Looking for Missed Alarm Bugs in a Formal Verification Tool
-
[This piece is co-authored with Vsevolod Livinskii.] Formal verification
isn’t some sort of magic pixie dust that we sprinkle over a computer system
to mak...
3 months ago
No comments:
Post a Comment