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

"Joseph Seigh" <jseigh_01@xemaps.com> ha scritto nel messaggio
news:opsk0cv9ocbs6ffg@grunion...
> On Sat, 22 Jan 2005 12:51:57 GMT, Andrea Sini <non@scrivermi.it> wrote:
>
> > Are there any tools to try to do a static analysis of a pthread
concurrent
> > program ?
> >
> Probably.  Is there specific information about the programs that you are
looking
> for?

To be honest, I've only  heard that there are some softwares that look for
race conditions, deadlock etc performing a static analysis on the code and I
was wondering if some of those softwares are available on the net....

Thanks

Andrea

.