Where is the Static Verifier documentation

[longden_loo]

Several posts mentioned using SV to check for things like uninitialized variables, but searching thru my IVF (11.1.046) Release Notes, Getting Started and Documentation (in Help) for "verifier" turns up nothing sounding like "Static Verifier".

Can someone point me to the file or link that documents that function and how to use it?

Thx, Longden

[Steven_L_Intel1 · Accepted solution]

It was renamed - see Building Applications > Error Handling > Handling Compile-Time Errors > Using Source Code Verification

[longden_loo]

Thx Steve.

I tried it and it seems to work on some things like undeclared variables, but it missed an uninitialized variable so I guess its findings are still something of a rough estimate at least for Fortran.