An inter-procedural data flow analysis framework using value-based context-sensitivity - View it on GitHub