Intel Inspector XE for Windows OS

Programari Intel Inspector XE És una eina senzilla per comprovar els errors de memòria i la funció de subprocesamiento múltiple per a aplicacions amb codi sèrie i paral·lel basades en Windows i Linux. Eina de validació de codi Intel Inspector XE Troba no només errors de memòria (accés a memòria no inicialitzada, filtracions, etc.), sinó també problemes causats per la interacció de subprocessos (races de dades, bloqueig, etc.), tant existents com potencials. Intel Inspector XE Realitza una anàlisi dinàmica dels processos executables (no del codi font), verificant el que succeeix a l'aplicació, com assigna i allibera la memòria, genera subprocessos, utilitza objectes de sincronització, etc. A continuació, l'administrador obté una llista dels problemes trobats. Intel Inspector XE està disponible per a sistemes operatius Windows (integrats lliurement en Microsoft Visual Studio) i Linux. Intel Inspector XE S'utilitza un enfocament únic per a l'anàlisi de totes les instruccions de lectura / escriptura de memòria i les seves adreces en el nivell d'un codi binari. L'eina d'anàlisi es basa en l'eina Instrumentació Binària Pin Dynamic, que està integrada al procés analitzat just abans del començament i permet controlar l'execució de gairebé qualsevol instrucció, proporciona accés als continguts dels registres, al context de l'execució del programa, informació simbòlica i de depuració. En funció dels objectius i les tasques d'anàlisi, pot crear diversos tipus d'Pintool-eines, que estan configurats per recollir un determinat tipus de dades en un programa executable. Les característiques principals de l'Intel Inspector XE:

• Cerqueu errors de memòria i multiprocesamiento.
• No hi ha necessitat d'estructures especialitzades, accés a dues interfícies: usuari gràfic i línia d'ordres.
• Detecta errors ocults en programes paral·lels complexos.
• Suport per comprovar el codi C, C ++, C #, F # i Fortran.
• Selecció de tres nivells d'anàlisi, segons la velocitat i la qualitat de la verificació.
• Integració en depuradores Visual Studio, GDB i BID per a la correcció instantània dels problemes trobats.
• Anàlisi de creixement del munt per identificar els motius de l'augment continu de la càrrega a la memòria mentre s'està executant l'aplicació.
• Accelera els procediments d'anàlisi reduint el seu abast, començant el control només durant l'execució del suposat problema.
• Aïllar els falsos positius en la recerca d'errors perquè no es mostrin a la llista.
• Filtració de llistes d'errors per prioritat, tipus, estat, mòdul, etc.
• Treball col·lectiu: les llistes generades pel programa es poden accedir a tots els membres de l'equip.
• Configurar quina memòria hauria d'excloure de l'anàlisi.
• La capacitat d'utilitzar en l'anàlisi de programari per als productes Intel Xeon Phi.
• Anàlisi d'aplicacions híbrides MPI i OpenMP per a errors de memòria.