Scalable code analysis