Created attachment 19829 [details]
I wrote some simple code in Dafny (https://github.com/Microsoft/Dafny)
I keep track of 3 numbers as linked lists of digits and repeatedly multiply and add pairs of them.
As long as I keep the iterations under a certain number, the .exe runs on both Windows 7 and on Mac/Linux with mono.
If I increase the number of iterations too much, I get a stackoverflow on Windows 7 but mono runs for over 5 minutes (duration of my test) without throwing an exception.
I'm afraid this is a security issue and mono is potentially accessing memory it shouldn't have access to.
Note: reproduced on Ubuntu 16.04 VM running on Google cloud.