This is the usual speach against memory safe languages adoption, while ignoring the nice security equation,

    Σ exploits = Σ memory_corruption + Σ logic_errors

Having Σ memory_corruption ==> 0 is of course much welcomed outcome, even if Σ logic_errors > 0.