Flow-Sensitive, Context-Sensitive, and Object