Homomorphic static analysis