Dear All, I'm wondering whether it is possible to connect soot with other static analysis tools to perform verification over program path? Or generate test case over a path? Best Regards, Ding Sun