Blog


Welcome to our blog. We hope that these pages provide an insight into us, our products and how we develop them. Please feel free to write to us if you have anything to add to any of the posts here.

   Current Entries | Archives   RSS

 


PC-lint compiler options files for Visual Studio 2012

Wednesday 28th November, 2012


Since Visual Studio 2012 was released we have been using the compiler options files for Visual Studio 2010 (co-msc100.lnt and co-msc100.h) when analysing code for it as a set for VS2012 was not available.

For the most part that works fine, however it does mean that code which checks _MSC_VER etc. to invoke conditional behaviour may not analyse correctly in some cases.

We have now submitted dedicated PC-lint 9.0 compiler options files for Visual Studio 2012 (co-msc110.lnt and co-msc110.h) with the correct values for these symbols as given by the Visual Studio 2012 RTM. The co-msc110.lnt file also includes some suppression directives for Visual Studio 2012 unit tests.

In due course they will become available in new PC-lint 9.0 installations and via the PC-lint 9.0 patch page, however for the time being Gimpel have made them available from the PC-lint 9.0 beta page at http://gimpel.com/html/90beta/.

Incidentally the current PC-lint 9.0 beta version (9.00i2) looks like it contains some fairly significant changes to MISRA, PCH and function call side effect analysis - so that is a pretty good indication of what to expect in the next public version (PC-lint 9.00j).

Details of the changes in PC-lint 9.00i2 are available at http://gimpel.com/html/90beta/fixes.txt.

Posted by Anna at 9:39am | Get Permalink


Visual Lint 3.5.8.188 has been released

Wednesday 21st November, 2012


The following changes are included in this build:

Posted by Anna at 10:17am | Get Permalink