[mkobit]

Sounds similar to the FindBugs project (discussed here [1]). The result from that episode was a fork into SpotBugs [2].

[1]: https://news.ycombinator.com/item?id=12885549

[2]: https://github.com/spotbugs/spotbugs