Static Inference