New code scanning tool should help Github developers catch bugs.
The text above is a summary, you can read full article here.