Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Conditional must not aliasing for static race detection