<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman,new york,times,serif;font-size:12pt"><div>Hi,<br><br>I am wondering if there is any tool in LLVM which does 1) static deadlock detection or 2) reachability analysis in CFG?<br><br>Best regards,<br>::Saman Zonouz<br></div></div><br>
</body></html>