Automatic Contract Insertion with CCBot
Would static analysis tools help developers with code reviews?