An inter-procedural data flow analysis framework using value-based context-sensitivity