Scalable Privacy Analysis