Is there any free (opensource) static analysis tool for Java that does tainted analysis?

Question

I would like to use different advantages of tainted analysis. For example, it will be great if there will be a possibility to mark expected interval of values in the code and ch