Subj : Re: Tool for static analysis
To   : comp.programming.threads
From : Markus Elfring
Date : Sat Feb 12 2005 11:37 pm

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

Please perform further searches on your own ...

Can you get any ideas from the following information sources?
1. discussion "Is a standard for deadlock detection available?"

http://groups.google.de/groups?threadm=40ed1d8f.0301150519.60fc9f36%40posting.google.com

2. http://www.crml.uab.edu/workshop/workshop/command_line/WS_locklint.doc.html

3. "Event Graph Analysis for Debugging Massively Parallel Programs" by Dieter Kranzlmüller
   http://www.gup.uni-linz.ac.at/~dk/thesis/fm2html/

4. "Dynamic Lock Dependency Analysis of Concurrent Systems" by Eric Schrock
   http://www.cs.brown.edu/publications/theses/ugrad/2003/eschrock.pdf

5. "Automatic Detection of Potential Deadlock" by John Mount
   http://www.web-techniques.com/articles/2000/0012/

6. "Improving Program Robustness via Static and Dynamic Analysis"
   http://suif.stanford.edu/research/analysis.html

7. "Structuring a Compiler with Active Objects"
   http://www.inf.ethz.ch/personal/reali/papers/JMLC2000.pdf

8. "On Testing Multithreaded Programs" by Lukás Petrlik
   http://www.kiv.zcu.cz/research/groups/dss/download/presentation-2004-04-19.pdf

9. "Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs"
   http://www.research.ibm.com/dejavu/drace-pldi02.pdf

11. "Compile-time Detection of Race Conditions"
   http://citeseer.ist.psu.edu/context/47631/0

12. "WARLOCK - a static data race analysis tool"
   http://citeseer.ist.psu.edu/context/475969/0

13. http://programming-x.com/programming/analysis.html

14. http://en.wikipedia.org/wiki/Static_code_analysis

Regards,
Markus

.