Will code check tools yield worm-proof software?