An overview of the saturn project
Tracking pointers with path and context sensitivity for bug detection in C programs