Adding some static analysis tools