IVF 10.0 Static Verifier

[Les_Neilson]

From the post by Ron Green (pp Steve Lionel) announcing IVF 10

"- Static Verifier builds upon the compiler's interprocedural analysis capability to provide whole-program detection of errors including routine mismatches, variable misuse, OpenMP directive errors and more"

One of my colleagues is currently looking at the new IVF 10 release.

The phrase that caught our eye was "whole program detection of errors". As far as we can tell (in our limited use of only started using it today) it is actually limited to checking code within the same directory. We thought from the above statement it would be able tocheck across libraries too - like some sort of pseudo-link to check argument mismatches when code in one directory (library) calls code in another directory (library).

Have I got it wrong ? (it wouldn't be the first time :-) )

Thanks

Les

[Les_Neilson]

Apologies : somehow I was in the Fortran Linux forum when I should have been in the Windows forum. The question still applies.

Les

[Ron_Green]

The 10.0 version of the compiler marks the firstrelease of theStatic Verifier (SV). You are correct, our GOAL is to be able to perform whole-application verification.Sincethis is theinitial release, I do know we have some work ahead.

Please enter your bug report to premier.intel.com. This is how we log bugs and get them into the system. We really need users such as you testing SV, finding the issues, and getting the fixes into the updates. In this way we can keep SV evolving and improving with each update. We believe SV has a lot of potential, and we recognise we're going to find some bugs at this early stage of evolution.

ron