Does clang have Reaching Definition analysis in Data flow anlaysis

Hi,

I need to use Reaching definition analysis and Live variable analysis in our project.
Currently, I find there are a live variable analysis implementation in lib/Analysis. But I can not find any tips about Reaching Definition Anaysis, Is there one implementation in clang ? Or I need to do it myselft.