最近在看FlowDroid的源码，但是水平有限，程序中有对sinks的读入，但是始终找不到在静态污点分析过程中在哪个类的哪个方法中进行sink与当前stmt的比较。另外，Infoflow的分析时，对一个污点追踪过程里的结束条件是什么，在哪里判断的？
我想在FlowDroid的静态污点分析的基础上修改，目标是实现有source但是没有sink，也就是说给出一个source函数后，得到这个source污染的所有路径，无论这个路径上有没有sink
自己解决了，在分析Android时，是在soot-infoflow-android/../source/AccessPathBasedSourceManager.java下重写了isSink()方法实现的
想要看到完整的source sink的传播路径也是这样？