Tracking pointers with path and context sensitivity for bug detection in C programs