Stanford CHECKER?
Posted Feb 20, 2003 19:44 UTC (Thu) by
wh (guest, #9477)
In reply to:
Stanford CHECKER? by ncm
Parent article:
Comparing free and proprietary software defect rates
True, but the story's author interprets the results of Reasoning's findings differently. Just because Linux has less memory leaks (found by the Stanford Checker) than other operating systems doesn't mean that Linux has less race conditions (not found by the Stanford Checker) than other operating systems.
(
Log in to post comments)