> (it never allows a memory unsafe program to compile Those would be false negatives, not false positives. FP = flagging what should not be flagged, FN = not f

> (it never allows a memory unsafe program to compile Those would be false negatives, not false positives. FP = flagging what should not be flagged, FN = not flagging what should be flagged.