Comment by amw-zero

Who brought up static analysis?

I think simulation is definitely a promising direction.