Strip-Miner: Automatic Bug Detection In Large Software Code With Low False Positive Rate