Do C#, Java, and other MSLs have use-before-initialized and use-after-destroyed type safety problems? Based on the article they do:
