All this is discoverable in static code analysis. It is entirely possible to mak... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

willvarfar on June 28, 2011 | parent | context | favorite | on: Android's Log.wtf Method

All this is discoverable in static code analysis. It is entirely possible to make tools that check the docs cover all these cases. There are probably tools they can buy to do it.

Google should check it all, every release.

inoop on June 28, 2011 [–]

That's actually a great idea. Can you recommend one such tool? I'd like to run it on the Android framework source and see what else I've been missing.

copper on June 28, 2011 | [–]

Coverity's Prevent[1]? I use it for C++, and while it's not free, the pricing is /very/ reasonable.

[1] http://www.coverity.com/html/prevent-for-java.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact