Tunable Control-Flow Sensitivity for Program Analysis