Article/Paper/Documentation about Inspector/Static Secutiry Analysis tool

[Simone_A_]

Hi, I am new in using Intel Inspector XE for dynamic analysis and the Intel compiler in static analysis mode (formerly SSA I guess). I would like to understand how they work, so I was wondering if there is some documentation, paper publication or everything that explain the techniques used by these tools to perform their analysis. Thanks. Best Regards, Simone

[Peter_W_Intel]

First at all, you have to use trial/commercial license of Intel Parallel Studio product. The reason is that Static Security Analysis feature will use Intel C++ compiler & Intel Inspector XE.

1. When you try to build your source by using compiler, to generate SSA result - please refer this article

2. When you try to display error report by using inspector - please refer this article. You also can find more from Inspector XE's help, for example - searching words "static analysis workflow"

[Simone_A_]

Hi, yes I am using the commercial license of Intel Parallel Studio product. I got your articles they were really useful. But I still have some doubt. For example, what is the level of support of OpenMP within Inspector? Does it make a binary instrumentation of the code or it does an instrumentation at source code level? What if I compile the OpenMP program with a compiler different from Intel Compiler? Is Inspector able to analyze it? Thanks. Best Regards, Simone Atzeni

[Peter_W_Intel]

> what is the level of support of OpenMP within Inspector? Does it make a binary instrumentation of the code or it does an instrumentation at source code level?

Source code level, it should be.

>What if I compile the OpenMP program with a compiler different from Intel Compiler? Is Inspector able to analyze it?

No. Other compiler doesn't support SSA, or say it will not generate Inspector XE result.

[Holly_W_Intel]

To clarify, you can compile with any compiler and use the dynamic analysis portions of Inspector (memory and thread analysis). You must compile with the Intel compiler to perform static analysis.

[Peter_W_Intel]

Thank you Holly. Dynamic analysis from Inspector doesn't depends on compiler version, note that you have to build binary with debugging info.