topic Thank you Holly. Dynamic in Analyzers

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

Simone_A_ — Wed, 14 May 2014 22:59:12 GMT

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

First at all, you have to use

Peter_W_Intel — Thu, 15 May 2014 03:35:22 GMT

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"

Hi,

Simone_A_ — Fri, 16 May 2014 01:06:48 GMT

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

> what is the level of

Peter_W_Intel — Fri, 16 May 2014 12:46:04 GMT

> 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.

To clarify, you can compile

Holly_W_Intel — Fri, 16 May 2014 18:53:19 GMT

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.

Thank you Holly. Dynamic

Peter_W_Intel — Mon, 19 May 2014 07:06:06 GMT

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