cp - miner : a tool for finding copy - paste and related bugs in operating system code .
CCured in the real world