Comment by tobiasu

You can build gnat and gnatprove yourself, including runtime exception.

This is a bit painful (intentionally so) but it can be done.