<div>Thanks for you answer. Is there reaching definitions implementation in llvm or clang source (not in clang StaticAnalyzer)?</div>