Git is a free and open source distributed version control system designed to handle everything from small t...

It focuses on finding errors in your code without actually running it. It catches whole classes of bugs eve...

It is a type-checking static analysis tool for PHP that finds bugs humans can miss, and improves code quali...