Hi, I created PDGs using HashMutablePDG class in soot. Does anyone know whether there is a way to save the created PDG as a dot file?. Is it possible to use soot.util.dot for this? Thanks. Upulee