There are some long standing hard to reproduce stability issues. I've reviewed all the core-framework code and found a few instances where out-of-bounds was missing. (most places just assume correct input data)