Bad array indexing is considered deadly

[Moritz Maxeiner via Digitalmars-d]

On Wednesday, 31 May 2017 at 21:30:47 UTC, H. S. Teoh wrote:
> On Wed, May 31, 2017 at 11:29:53PM +0200, Timon Gehr via 
> Digitalmars-d wrote:
>> On 31.05.2017 22:45, Moritz Maxeiner wrote:
> [...]
>> > No, because as I stated in my other post, the runtime 
>> > *cannot* assume that it is safe *in all cases*. If there is 
>> > even one single case in which it is unsafe, it must abort.
>> 
>> Hence all programs must abort on startup.
>
> If D had *true* garbage collection, it would have done this 
> upon starting up any buggy program. :-D
>

I think vigil will be a perfect fit for you[1] ;p

[1] https://github.com/munificent/vigil