Hi,

did your problem got resolved?

I am planning to use this tool for static analysis and would like to know your experience with it.