Io sono sempre favorevole allo
static analysis. In questo caso è un po' più fastidioso in quanto bisogna annotare correttamente le funzioni, ma bisognerebbe farlo lo stesso come documentazione del codice (nel javadoc per esempio), quindi non è un gran problema.
IntelliJ non è anche alla base di Android Studio? Mi son sempre ripromesso di provarlo, ma con la scusa che ancora non supporta l'NDK non mi permette di usarlo in un mio progetto corrente. Chissà quando arriverà il giorno in cui potremmo buttar via Eclipse...