Homomorphic static analysis

4 points by janus