如何解决烟尘的 BranchedForwardFlowAnalysis 中的 flowThrough 方法
在soot的BranchedForwardFlowAnalysis的flowThrough方法中，有fallOuts列表和branchouts列表。我怎么能理解这一点？我认为只有一种方法可以通过/分支进入，因此两者的大小都应该是 1。那么为什么会有列表？
protected abstract void flowThrough(A in,单位， 列出结果， 清单branchOuts） 给定 in 集合的合并，计算 s 的 fallOut 和 branchOuts 集合。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
