Context, field, and array-sensitive heap analysis for LLVM based on DSA. - View it on GitHub