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

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

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

6 posts / 0 new
Last post
For more complete information about compiler optimizations, see our Optimization Notice.
Peter Wang (Intel)'s picture

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,

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 Wang (Intel)'s picture

> 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 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 Wang (Intel)'s picture

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

Login to leave a comment.