Static analysis as a service