Java程序分析工具使用
有关JavaPathFinder、WALA使用
lunarych
这个作者很懒,什么都没留下…
展开
-
JavaPathFinder基于eclipse的安装及使用示例
JavaPath Finder基于eclipse的安装及使用示例从官网上下载jpf-core.git clone https://github.com/javapathfinder/jpf-core.gitbuild JPFcd jpf-core./gradlew buildJars按照官网的教程将jpf-core导入到eclipse中:生成eclipse配置文件./...原创 2020-10-18 14:32:28 · 335 阅读 · 1 评论 -
JavaPath Finder结构
jpf是执行字节码指令的。官方参考文档jpf-wiki下图为JPF Top-level Design虚拟机(VM)状态生成器,通过执行字节码指令,生成状态描述,可用来检查状态是否被访问过,询问数据(线程状态、数据值等),存储状态,恢复状态。VM主要参数为实现状态管理(匹配,存储、回溯)的类。多数执行机制委派给了SystemState,然后使用Scheduler搜索策略Search用来...原创 2020-10-18 14:30:37 · 345 阅读 · 0 评论