Subj : Tool for static analysis
To   : comp.programming.threads
From : Andrea Sini
Date : Sat Jan 22 2005 12:51 pm

Are there any tools to try to do a static analysis of a pthread concurrent
program ?

Andrea Sini

.