Comment by Master_Odin

phpstan, phan, and psalm all exist and can provide these sorts of static analysis checks.