.dot文件中保存的是frama-c生成的程序依赖图，一个有向图，它很容易画出来，而我需要用程序或脚本将其中某类节点或边删掉。我发现用python读入文件再用graphviz包中Source构造函数可以构造Source对象，但我无法更改其中的点和边，我想将其转换成Digraph(有向图)类后应该可以处理，但我在API中没有找到相应的函数。有没有老大哥能告诉我解决方法，或者说确实没有相应的函数，必须对.dot文件逐行读取再字符串检索进行处理