[ha470]

Is there any way to do static analysis using these contracts? Or is the way to find issues at runtime?

[egonschiele]

There's no way to do static analysis on Ruby. There are projects that have succeeded in doing it on a subset of Ruby, but they are not very popular since they can't support the full language.