soot 学习笔记三

最新推荐文章于 2023-04-13 20:07:19 发布

语暖心扉

最新推荐文章于 2023-04-13 20:07:19 发布

阅读量678

点赞数

分类专栏： soot 学习笔记

本文链接：https://blog.csdn.net/zat111/article/details/39189275

版权

soot 学习笔记专栏收录该内容

3 篇文章 0 订阅

订阅专栏

【1】Using the Soot Eclipse plugin

       参考URL： http://www.bodden.de/2008/08/30/soot-eclipse-plugin-tutorial/

       把测试例按照文档都测试一以便，有一个大概印象即可。可以熟悉常用的按钮选项，通过选项猜测soot所完成的功能。

【2】 Implementing an intra-procedural data-flow analysis in Soot

       参考URL： www.bodden.de/2008/09/22/soot-intra/

(1)     An intra-procedural data-flow analysis operates on a control-flow graph – called UnitGraph in Soot – for a single method. A unit graph contains statements as nodes, and there is an edge between two nodes if control can flow from the statement represented by the source node to the statement represented by the target node.

(2)Forward, backward or branched?

(3)A: The abstraction type. Oftentimes people use sets or maps as their abstraction but in general you can use anything you like. Beware though, that your abstraction type must implement equals(..) and hashCode() correctly, so that Soot can determine when a fixed point has been reached!

(4)Between the super constructor call and the call to doAnalysis() you can set up your own analysis data structures.