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