A modular and symbolic approach to static program analysis