llvm dev - Jul 2009 - [LLVMdev] Deadlock and Reachability analysis in LLVM?

Hi,

I am wondering if there is any tool in LLVM which does 1) static deadlock
detection or 2) reachability analysis in CFG?

Best regards,
::Saman Zonouz



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20090715/34ad1698/attachment.html>