[LLVMdev] Deadlock and Reachability analysis in LLVM?

saman aliari samy_442 at yahoo.com
Wed Jul 15 09:34:02 PDT 2009


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>

More information about the llvm-dev mailing list