Pointer Analysis


I am looking for field sensitive and preferably flow sensitive pointer analysis for the current version(3.5) of LLVM. I understand that DSA is not supported for the latest version unless I am mistaken.
I also checked field sensitive pointer analysis implementation from Ben Hardekopf, but that also seems to be for a lot earlier version of LLVM.

I was wondering what is the best available pointer analysis for current LLVM that the community recommends.