README.md

A modified version of LLVM-8's CFLAndersAliasAnalysis that compute all aliases of selected pointers in a demand-driven manner.