Cloning-based context-sensitive pointer alias analysis using binary decision diagrams