Hello, it should be a naive question, but is there an easy and effective way to combine SOOT and BDDBDDB? By combine "Soot", I mean to use it either as a front-end to parse out the facts such as "at program point P, a call statement S takes place". either SOOT is used to provide some relations that its predefined analysis yields. Thanks. Zell.