Инструменты анализа кода для Android

Существуют ли какие-либо инструменты статического анализа кода для Android, которые могли бы подбирать простые вещи, такие как NullPointerExceptions, при попытке доступа к объекту, который может иметь значение NULL (без предварительной проверки) ...

Такие инструменты, как resharper в проектах C #, делают это достаточно хорошо, поэтому я предполагаю, что есть аналогичные инструменты для Android Java ...