Bug 52534 - Infinite Loop when should stack overflow
Summary: Infinite Loop when should stack overflow
Status: NEW
Alias: None
Product: Runtime
Classification: Mono
Component: General (show other bugs)
Version: 4.6.0 (C8)
Hardware: Macintosh Mac OS
: --- normal
Target Milestone: ---
Assignee: Bugzilla
URL:
Depends on:
Blocks:
 
Reported: 2017-02-15 19:12 UTC by ds3263
Modified: 2017-02-15 22:39 UTC (History)
4 users (show)

See Also:
Tags:
Is this bug a regression?: ---
Last known good build:


Attachments
Problematic executable (35.00 KB, application/x-msdownload)
2017-02-15 19:12 UTC, ds3263
Details

Description ds3263 2017-02-15 19:12:31 UTC
Created attachment 19829 [details]
Problematic executable

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.

Note You need to log in before you can comment on or make changes to this bug.