Wrote an analysis pass in LLVM (version 12.0.1) to perform intra- procedural, flow-sensitive may alias analysis based on points-to information for an input program. - View it on GitHub