Is there a tool similar to the Unix program lint?

I think that ManMachine systems might have something to interest you - www.mmsindia.com

In addition, you might want to look at jTest (www.parasoft.com) and Rational's website - www.rational.com.

I don't know if the tools on these sites do exactly what you want but they are worth evaluating.