Subj : Re: Tool for static analysis To : comp.programming.threads From : SenderX Date : Sat Jan 22 2005 02:28 pm "Andrea Sini" wrote in message news:QPzId.440620$b5.21163382@news3.tin.it... > "Joseph Seigh" ha scritto nel messaggio > news:opsk0cv9ocbs6ffg@grunion... >> On Sat, 22 Jan 2005 12:51:57 GMT, Andrea Sini 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.... http://intel.com/software/products/threading/index.htm ( download trial version along with VTune ) p.s. This software is great, however it will give you highly annoying false warnings for certain correct algorithms. Like this: Threads A & B --------- do { 1. void *l = s; 2. } while ( ! cas( &s, l, ... ) ) If thread a executes step 2 while another thread is concurrently executing step 1, Intel thread checker will complain. Its not smart enough for lock-free algorithms... .