Hello, I am writing to let the community know that I am working on a new implementation of Andersen alias analysis for LLVM. The code is quite young and not useful yet, but you can see what I have at https://github.com/TristanSchmelcher/llvm-andersen.