Parasoft Insure++

Parasoft Insure++

Description

Parasoft Insure++ is an automated runtime application testing tool
that detects elusive errors such as memory corruption, memory leaks,
memory allocation errors, variable initialization errors, variable
definition conflicts, pointer errors, library errors, I/O errors, and
logic errors.

Liens

Paths sous linux

  • /usr/local/insure/bin.linux2/insure

Paths sous solaris

  • /usr/local/insure/bin.solaris/insure

Commentaires

Pour utiliser insure: rajouter à son PATH /usr/local/insure/bin.linux2 ou /usr/local/bin.solaris 

# on instrumente a` la compilation et au link
insure -g -o tst tst.c
./tst

ou 
# on instrumente au runtime comme valgrind
gcc -g -o tst tst.c
Chaperon ./tst

Pour executer du code multithreadé, il était nécessaire de positionner, ca ne semble plus être le cas avec la version 7.0.1 
export LD_ASSUME_KERNEL=2.2.5
ou (suivant votre shell)
setenv LD_ASSUME_KERNEL 2.2.5

Pour les utilisateurs Fedora, vous pouvez récupérer la distrib Insure 7.0 ici et à la fin de l'installtion utilisez insure.inria.fr:2002 comme serveur de license.