gpt4 book ai didi

java - Java 的 k-CFA 分析

转载 作者:行者123 更新时间:2023-11-29 08:51:02 25 4
gpt4 key购买 nike

我已经搜索了很长时间,试图找到针对 OOP 语言(尤其是 Java)的 k-CFA 分析的实现。有人知道网上有没有吗?

最佳答案

我认为您可能会尝试查看 Soot,这是一种 Java 分析环境,尤其是 SPARK 和 Paddle 项目(请参阅 http://www.sable.mcgill.ca/paddle/ ),它们是使用 Soot 执行指向分析的库。至少 Paddle 似乎可以选择使用 k-CFA 上下文相关分析,这在 Soot Survival 指南中有所描述:http://www.brics.dk/SootGuide/sootsurvivorsguide.pdf .

关于java - Java 的 k-CFA 分析,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22682757/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com