{"id":3863,"date":"2025-06-29T23:42:07","date_gmt":"2025-06-29T15:42:07","guid":{"rendered":"https:\/\/fushuling.com\/?p=3863"},"modified":"2025-07-04T14:52:47","modified_gmt":"2025-07-04T06:52:47","slug":"%e6%96%b0%e7%94%9flab-2-%e5%ae%89%e5%8d%93%e9%9d%99%e6%80%81%e7%a8%8b%e5%ba%8f%e5%88%86%e6%9e%90","status":"publish","type":"post","link":"https:\/\/fushuling.com\/index.php\/2025\/06\/29\/%e6%96%b0%e7%94%9flab-2-%e5%ae%89%e5%8d%93%e9%9d%99%e6%80%81%e7%a8%8b%e5%ba%8f%e5%88%86%e6%9e%90\/","title":{"rendered":"\u65b0\u751fLab-2 \u5b89\u5353\u9759\u6001\u7a0b\u5e8f\u5206\u6790"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">\u80cc\u666f<\/h1>\n\n\n\n<h2 class=\"wp-block-heading\">\u7b80\u4ecb<\/h2>\n\n\n\n<p>Soot \u6700\u521d\u7531\u9ea6\u5409\u5c14\u5927\u5b66\u7684 Sable \u7814\u7a76\u5c0f\u7ec4\u5f00\u53d1\u3002\u5173\u4e8e Soot \u7684\u7b2c\u4e00\u7bc7\u8bba\u6587\u53d1\u8868\u4e8e 1999 \u5e74\u7684 CASCON \u5927\u4f1a\u3002\u81ea\u90a3\u65f6\u8d77\uff0cSoot \u5f97\u5230\u4e86\u6765\u81ea\u7814\u7a76\u754c\u5185\u5916\u4f17\u591a\u4eba\u58eb\u7684\u8d21\u732e\u3002\u76ee\u524d\uff0cSoot \u7684\u7ef4\u62a4\u5de5\u4f5c\u7531\u5e15\u5fb7\u535a\u6069\u5927\u5b66 Heinz Nixdorf \u7814\u7a76\u6240\u7684 Eric Bodden \u8f6f\u4ef6\u5de5\u7a0b\u5c0f\u7ec4\u8d1f\u8d23\u3002<\/p>\n\n\n\n<p>Soot \u5c06\u7a0b\u5e8f\u8f6c\u6362\u4e3aIR\uff0c\u8fd9\u91cc\u4e3b\u8981\u63d0\u4f9b\u4e86\u56db\u79cd\u7528\u4e8e\u5206\u6790\u548c\u8f6c\u6362 Java \u5b57\u8282\u7801\u7684\u4e2d\u95f4\u8868\u793a\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Baf\uff1a\u5b57\u8282\u7801\u7684\u7b80\u5316\u8868\u793a\uff0c\u6613\u4e8e\u64cd\u4f5c\u3002<\/li>\n\n\n\n<li>Jimple\uff1a\u4e00\u79cd\u9002\u5408\u4f18\u5316\u7684\u7c7b\u578b\u5316 3 \u5730\u5740\u4e2d\u95f4\u8868\u793a\u3002<\/li>\n\n\n\n<li>Shimple\uff1aJimple \u7684 SSA \u53d8\u4f53\u3002<\/li>\n\n\n\n<li>Grimp\uff1aJimple \u7684\u805a\u5408\u7248\u672c\uff0c\u9002\u7528\u4e8e\u53cd\u7f16\u8bd1\u548c\u4ee3\u7801\u68c0\u67e5<\/li>\n<\/ul>\n\n\n\n<p>\u4e09\u5730\u5740\u7801\u60f3\u5fc5\u5927\u4f19\u90fd\u77e5\u9053\uff0c\u4e0d\u8fc7SSA\u786e\u5b9e\u6ca1\u63d0\u8fc7\uff0c\u8fd9\u91cc\u7b80\u8981\u7684\u4ecb\u7ecd\u4e00\u4e0b\uff0cSSA\uff08Static Single Assignment\uff0c\u9759\u6001\u5355\u8d4b\u503c\uff09\u662f\u4e00\u79cd\u4e2d\u95f4\u8868\u793a\uff08Intermediate Representation, IR\uff09\u5f62\u5f0f\uff0c\u5728\u7f16\u8bd1\u5668\u548c\u7a0b\u5e8f\u5206\u6790\u5de5\u5177\u4e2d\u88ab\u5e7f\u6cdb\u5e94\u7528\uff0c\u5c24\u5176\u9002\u5408\u8fdb\u884c\u4f18\u5316\u548c\u6570\u636e\u6d41\u5206\u6790\u3002<\/p>\n\n\n\n<p>SSA \u7684\u57fa\u672c\u539f\u5219\u662f\uff1a<strong>\u6bcf\u4e2a\u53d8\u91cf\u5728\u6574\u4e2a\u7a0b\u5e8f\u4e2d\u53ea\u88ab\u8d4b\u503c\u4e00\u6b21<\/strong>\uff0c\u6bcf\u6b21\u8d4b\u503c\u90fd\u521b\u5efa\u4e00\u4e2a\u65b0\u7684\u53d8\u91cf\u7248\u672c\u3002<\/p>\n\n\n\n<p>\u6bd4\u5982\u5bf9\u4e8e\u4e0b\u9762\u7684\u4ee3\u7801\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>a = 1;\na = a + 2;\nb = a * 3;<\/code><\/pre>\n\n\n\n<p>\u5bf9\u5e94\u751f\u6210\u7684SSA\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>a1 = 1;\na2 = a1 + 2;\nb1 = a2 * 3;<\/code><\/pre>\n\n\n\n<p>\u53ef\u4ee5\u53d1\u73b0\u8fd9\u91cc <code>a1<\/code>, <code>a2<\/code>, <code>b1<\/code> \u90fd\u662f\u4e0d\u540c\u7248\u672c\u7684\u53d8\u91cf\uff0c\u6e05\u6670\u6807\u8bc6\u4e86\u6570\u636e\u4f9d\u8d56\u5173\u7cfb\uff0cSSA\u6700\u5927\u7684\u597d\u5904\u5c31\u662f\u6bcf\u4e2a\u53d8\u91cf\u90fd\u6709\u552f\u4e00\u6765\u6e90\uff0c\u6709\u5229\u4e8e\u540e\u7eed\u8f6c\u5316\u6216\u9a8c\u8bc1\u7a0b\u5e8f\u7684\u884c\u4e3a\u3002<\/p>\n\n\n\n<p>\u53ea\u4e0d\u8fc7\u5b98\u65b9\u6587\u6863\u4e5f\u63d0\u5230\uff0cJimple \u662f Soot \u7684\u4e3b\u8981 IR\uff0c\u5927\u591a\u6570\u5206\u6790\u90fd\u662f\u5728 Jimple \u5c42\u9762\u5b9e\u73b0\u7684\uff0c\u76ee\u524dsoot\u63a5\u53d7\u4ee5\u4e0b\u7684\u8f93\u5165\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Java\uff08\u5b57\u8282\u7801\u548c\u6e90\u4ee3\u7801\uff0c\u6700\u9ad8\u652f\u6301 Java 7\uff09\uff0c\u5305\u62ec\u5176\u4ed6\u53ef\u7f16\u8bd1\u4e3a Java \u5b57\u8282\u7801\u7684\u8bed\u8a00\uff0c\u4f8b\u5982 Scala<\/li>\n\n\n\n<li>Android \u5b57\u8282\u7801<\/li>\n\n\n\n<li>Jimple <\/li>\n\n\n\n<li>Jasmin\uff0c\u4e00\u79cd\u4f4e\u7ea7\u4e2d\u95f4\u8868\u793a\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u63d0\u4f9b\u4ee5\u4e0b\u8f93\u51fa\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Java<\/strong>&nbsp;\u5b57\u8282\u7801<\/li>\n\n\n\n<li><strong>Android<\/strong>&nbsp;\u5b57\u8282\u7801<\/li>\n\n\n\n<li><strong>Jimple<\/strong><\/li>\n\n\n\n<li><strong>Jasmin<\/strong><\/li>\n<\/ul>\n\n\n\n<p>soot\u652f\u6301\u8fd9\u4e9b\u529f\u80fd\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u8c03\u7528\u56fe\u6784\u5efa<\/li>\n\n\n\n<li>\u6307\u5411\u5206\u6790<\/li>\n\n\n\n<li>\u5b9a\u4e49\/\u4f7f\u7528\u94fe<\/li>\n\n\n\n<li>\u6a21\u677f\u9a71\u52a8\u7684\u8fc7\u7a0b\u5185\u6570\u636e\u6d41\u5206\u6790<\/li>\n\n\n\n<li>\u6a21\u677f\u9a71\u52a8\u7684\u8fc7\u7a0b\u95f4\u6570\u636e\u6d41\u5206\u6790\uff0c\u7ed3\u5408 Heros\uff08\u4f7f\u7528 IFDS\/IDE\uff09\u6216\u52a0\u6743\u4e0b\u63a8\u7cfb\u7edf<\/li>\n\n\n\n<li>\u53ef\u4ee5\u4f7f\u7528\u6d41\u3001\u5b57\u6bb5\u3001\u4e0a\u4e0b\u6587\u654f\u611f\u7684\u9700\u6c42\u9a71\u52a8\u6307\u9488\u5206\u6790 Boomerang \u6765\u89e3\u51b3\u522b\u540d\u95ee\u9898<\/li>\n\n\n\n<li>\u7ed3\u5408 FlowDroid \u6216 IDEal \u8fdb\u884c\u6c61\u70b9\u5206\u6790<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">soot\u7684\u7b80\u5355\u4f7f\u7528<\/h2>\n\n\n\n<p>\u68c0\u6d4b\u5de5\u5177\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>git clone https:\/\/github.com\/Lucarun\/soot-ifds-base.git<\/code><\/pre>\n\n\n\n<p>\u5f85\u6d4b\u9879\u76ee\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>git clone https:\/\/github.com\/CAGeng\/sast-testcase-11-17<\/code><\/pre>\n\n\n\n<p>\u5728idea\u4e2d\u6253\u5f00\u5f85\u6d4b\u9879\u76ee\uff0c\u8fd0\u884c\u4e3b\u7c7b\u540e\u751f\u6210\u7684classes\u5c31\u662fsoot\u7684\u8f93\u5165\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-162822-29-1.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-162822-29-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u7136\u540e\u5728\u68c0\u6d4b\u5de5\u5177\u91cc\u65b0\u5efa\u4e00\u4e2a\u7c7b\u6253\u5370\u5df2\u7ecf\u52a0\u8f7d\u5230\u73af\u5883\u4e2d\u7684application class\u6570\u91cf\uff0csoot\u7528\u4e00\u4e2a\u5168\u5c40\u7684Scene\u6765\u7ef4\u62a4\u52a0\u8f7d\u5230\u73af\u5883\u7684\u5f85\u5206\u6790\u7684\u7c7b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport basic.common.SootInit;\nimport soot.Scene;\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-163652-29-2.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-163652-29-2.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u904d\u5386\u7c7b\u548c\u65b9\u6cd5<\/h2>\n\n\n\n<p>soot\u4e2d\u4f7f\u7528SootClass\u8868\u793a\u7c7b\uff0c\u4f7f\u7528SootMethod\u8868\u793a\u65b9\u6cd5\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport basic.common.SootInit;\nimport soot.Scene;\nimport soot.SootClass;\nimport soot.SootMethod;\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n\n        for(SootClass sootClass : Scene.v().getApplicationClasses()) {\n            System.out.println(\"\u7c7b\uff1a \" + sootClass);\n\n            for(SootMethod sootMethod : sootClass.getMethods()) {\n                System.out.println(\"    \u65b9\u6cd5\uff1a \" + sootMethod);\n            }\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-164221-29-3.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-164221-29-3.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u8fd9\u91cc\u8f93\u51fa\u7684\u65b9\u6cd5\u662fsoot\u7279\u6709\u7684method signature\uff0c\u5305\u542b\u65b9\u6cd5\u540d\u3001\u53c2\u6570\u7b49\u4fe1\u606f\uff0c&lt;init&gt;\u6307\u7684\u662fjava\u7c7b\u9ed8\u8ba4\u7684\u6784\u9020\u65b9\u6cd5\u3002\u8fd9\u91cc\u6211\u4eec\u5c06\u751f\u6210\u7684method signature\u548c\u4ee3\u7801\u91cc\u771f\u5b9e\u7684main\u65b9\u6cd5\u505a\u4e00\u4e2a\u5bf9\u6bd4\uff0c\u53ef\u4ee5\u770b\u5230\u8fd8\u662f\u86ee\u5f62\u8c61\u7684\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-164559-29-4.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-164559-29-4.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u6784\u5efa\u8c03\u7528\u56fe<\/h2>\n\n\n\n<p>\u8c03\u7528\u56fe\u6307\u7684\u662f\u65b9\u6cd5\u95f4\u7684\u8c03\u7528\u5173\u7cfb\uff0c\u6bcf\u4e2a\u8282\u70b9\u662f\u4e00\u4e2a\u65b9\u6cd5\uff0c\u65b9\u6cd5A-&gt;\u65b9\u6cd5B\u7684\u8fde\u8fb9\u8868\u793a\u65b9\u6cd5A\u4e2d\u8c03\u7528\u4e86\u65b9\u6cd5B\u3002<\/p>\n\n\n\n<p>\u5728\u6211\u4eec\u4e4b\u524d\u7684\u4ee3\u7801\u91cc\u53ef\u4ee5\u5f88\u660e\u663e\u7684\u770b\u5230\uff0c\u5728main\u65b9\u6cd5\u4e2d\u6211\u4eec\u8c03\u7528\u4e86callPig\uff0c\u8fd9\u91cc\u81ea\u7136\u5c31\u5b58\u5728\u4e00\u4e2a\u65b9\u6cd5\u95f4\u7684\u8c03\u7528\u5173\u7cfb\uff0c\u8fd9\u91cc\u6211\u4eec\u67e5\u770b\u4e00\u4e0b\u4ed6\u4eec\u7684\u8c03\u7528\u56fe\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport basic.cg.CG;\nimport basic.common.SootInit;\nimport soot.Scene;\nimport soot.SootMethod;\n\nimport java.util.HashSet;\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n\n        SootMethod sootMethod = Scene.v().getMethod(\"&lt;org.example.Main: void main(java.lang.String&#91;])&gt;\");\n        CG cg = new CG(sootMethod);\n        for(SootMethod sootMethod1 : cg.getAllMethods()) {\n            System.out.println(\"\u65b9\u6cd5\uff1a \" + sootMethod1);\n            HashSet&lt;SootMethod&gt; calledMethods = cg.edgesOutOf(sootMethod1);\n            for(SootMethod method : calledMethods) {\n                System.out.println(\"\u8c03\u7528\u4e86: \" + method);\n            }\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-165327-29-5.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-165327-29-5.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u4e0a\u9762\u7684\u4ee3\u7801\u4e2d\uff0c<code>CG cg = new CG(sootMethod)<\/code>\u7528\u4e8e\u6784\u5efa\u8c03\u7528\u56fe\uff0c\u4f20\u5165\u7684<code>sootMethod<\/code>\u7528\u4e8e\u6307\u5b9a\u4ee5\u54ea\u4e2a\u65b9\u6cd5\u4e3a\u5165\u53e3\u6784\u5efa\u8c03\u7528\u6811\u3002\u800c<code>cg.edgesOutOf(sootMethod1)<\/code>\u83b7\u53d6\u4e86\u6240\u6709\u7684\u51fa\u8fb9\u8282\u70b9\uff0c\u4e5f\u5c31\u662f\u88ab\u8c03\u7528\u7684\u65b9\u6cd5\u3002\u5728\u56fe\u91cc\u7684\u6267\u884c\u7ed3\u679c\u91cc\u6211\u4eec\u53ef\u4ee5\u5f88\u660e\u663e\u7684\u770b\u51fa\u6765\uff0cmain\u65b9\u6cd5\u9996\u5148\u8c03\u7528\u4e86println\uff0c\u7136\u540e\u8c03\u7528\u4e86callPig<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u63a7\u5236\u6d41\u5206\u6790<\/h2>\n\n\n\n<p>\u63a7\u5236\u6d41\u662f\u7a0b\u5e8f\u4e2d\u7684\u6267\u884c\u6d41\uff0c\u5728soot\u4e2d\u6bcf\u4e2a\u8282\u70b9\u662f\u4e00\u4e2aUnit\uff0c\u4e00\u822c\u800c\u8a00\u4e0eJava\u8bed\u53e5\u4e00\u4e00\u5bf9\u5e94\u3002<\/p>\n\n\n\n<p>\u8fd9\u91cc\u6211\u4eec\u6765\u770b\u770b\u8fd9\u4e2a\u5206\u652f\u8bed\u53e5\u7684\u60c5\u51b5\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-170201-29-6.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-170201-29-6.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" style=\"width:713px;height:auto\"\/><\/div><\/figure>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport basic.cfg.CFG;\nimport basic.cfg.Node;\nimport basic.common.SootInit;\nimport soot.Scene;\nimport soot.SootMethod;\n\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n\n        SootMethod sootMethod = Scene.v().getMethod(\"&lt;org.example.Main: void cfgAnalyze(int)&gt;\");\n\n        CFG cfg = new CFG(sootMethod, true);\n        cfg.buildCFG();\n\n        for(Node node : cfg.allNodes.values()) {\n            System.out.println(node);\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-170311-29-7.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-170311-29-7.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u4e0a\u9762\u7684\u8f93\u51fa\u662f\u4e71\u5e8f\u7684Jimple IR\uff0c\u4f46\u6211\u4eec\u53ef\u4ee5\u4ecenode\u7684\u5c5e\u6027\u4e2d\u83b7\u53d6\u524d\u540e\u9a71\u5173\u7cfb\uff0c\u6bd4\u5982 <code>node.successorNodes<\/code>\uff0c\u628a\u4e0a\u9762\u7684\u904d\u5386\u6539\u6210\u4e0b\u9762\u8fd9\u4e2a\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>for(Node node : cfg.allNodes.values()) {\n            System.out.println(node);\n            if(node.unit.toString().equals(\"if i0 &lt;= 5 goto $r0 = &lt;java.lang.System: java.io.PrintStream out&gt;\")) {\n                for(Node n : node.successorNodes){\n                    System.out.println(\"    \u540e\u7ee7:    \"+n);\n                }\n            }\n        }<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-171040-29-8.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-171040-29-8.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u63a7\u5236\u6d41\u5206\u6790\uff082\uff09<\/h2>\n\n\n\n<p>\u5728\u4e0a\u9762\u7684\u904d\u5386\u4e2d\uff0c\u6211\u4eec\u7684\u8f93\u51fa\u662f\u4e71\u5e8f\u7684\uff0c\u4e5f\u5c31\u662f\u8bf4\u5e76\u4e0d\u662f\u6d41\u654f\u611f\u7684\uff0c\u4e0d\u5305\u542b\u8282\u70b9\u95f4\u7684\u524d\u540e\u5173\u7cfb\u3002\u5e76\u4e14\u5728\u4ee3\u7801 <code>CFG cfg = new CFG(sootMethod, true)<\/code>\u8fd9\u91cc\u7531\u4e8e\u6211\u4eec\u6307\u5b9a\u4e86\u7b2c\u4e8c\u4e2a\u53c2\u6570\u4e3atrue\uff08innerProcess\u4e3atrue\uff09\uff0c\u56e0\u6b64\u8fd9\u91cc\u5b9e\u9645\u4e0a\u5efa\u7acb\u7684\u662f\u8fc7\u7a0b\u5185\u63a7\u5236\u6d41\u56fe\uff0c\u53ea\u5305\u542b\u4e00\u4e2a\u65b9\u6cd5\uff0c\u800c\u4e0d\u5305\u542b\u65b9\u6cd5\u8c03\u7528\u3002<\/p>\n\n\n\n<p>\u8fd9\u91cc\u6211\u4eec\u9996\u5148\u6765\u89e3\u51b3\u7b2c\u4e00\u4e2a\u95ee\u9898\uff0c\u628a\u4ee3\u7801\u6539\u6210\u8fd9\u6837\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport TranModel.TranUtil;\nimport TranModel.TransformableNode;\nimport basic.cfg.CFG;\nimport basic.common.SootInit;\nimport soot.Scene;\nimport soot.SootMethod;\n\nimport java.util.List;\n\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n\n        SootMethod sootMethod = Scene.v().getMethod(\"&lt;org.example.Main: void cfgAnalyze(int)&gt;\");\n\n        CFG cfg = new CFG(sootMethod, true);\n        cfg.buildCFG();\n\n        List&lt;TransformableNode&gt; topologicalOrder = TranUtil.getTopologicalOrderedTNodesFromCFG(cfg);\n        for(TransformableNode transformableNode : topologicalOrder){\n            transformableNode.forward();\n            System.out.println(transformableNode);\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<p>\u8fd9\u91cc\u6211\u4eec\u5c31\u6309\u62d3\u6251\u6392\u5e8f\u7684\u65b9\u5f0f\u904d\u5386\u4e86\u8282\u70b9\uff0c\u5b58\u5728\u4e86\u6f5c\u5728\u7684\u524d\u540e\u5173\u7cfb\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-171742-29-9.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-171742-29-9.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u63a7\u5236\u6d41\u5206\u6790\uff083\uff09\u8fc7\u7a0b\u95f4\u63a7\u5236\u6d41\u5206\u6790<\/h2>\n\n\n\n<p>\u5728\u4e4b\u524d\u7684\u8f93\u51fa\u91cc\u6211\u4eec\u53ef\u4ee5\u770b\u5230\uff0c\u6bd4\u5982main\u65b9\u6cd5\u8c03\u7528\u4e86callPig\u65b9\u6cd5\uff0c\u90a3\u4e48\u4f1a\u8f93\u51fa\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>virtualinvoke $r1.&lt;org.example.Main: void callPig(java.lang.String)&gt;(\"pig\")<\/code><\/pre>\n\n\n\n<p>\u6240\u8c13\u7684\u8fc7\u7a0b\u95f4\u5206\u6790\uff0c\u5c31\u662f\u9700\u8981\u6211\u4eec\u518d\u6df1\u5165\u4e00\u6b65\uff0c\u518d\u6df1\u5165<code>callPig<\/code>\u65b9\u6cd5\u672c\u8eab\u7684\u8c03\u7528\u7ed3\u679c<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package demo;\n\nimport TranModel.TranUtil;\nimport TranModel.TransformableNode;\nimport basic.cfg.CFG;\nimport basic.cg.CG;\nimport basic.common.SootInit;\nimport soot.Scene;\nimport soot.SootClass;\nimport soot.SootMethod;\n\nimport java.util.List;\n\n\npublic class MyDetector {\n    public static void main(String&#91;] args) {\n        SootInit.setSoot_inputClass(\"D:\/BaiduNetdiskDownload\/lab2\/sast-testcase-11-17\/target\/classes\");\n        System.out.println(Scene.v().getApplicationClasses().size());\n\n        for(SootClass sootClass : Scene.v().getApplicationClasses()) {\n            System.out.println(\"\u7c7b\uff1a \" + sootClass);\n\n            for(SootMethod sootMethod : sootClass.getMethods()) {\n                System.out.println(\"    \u65b9\u6cd5\uff1a \" + sootMethod);\n            }\n        }\n\n        SootMethod sootMethod = Scene.v().getMethod(\"&lt;org.example.Main: void main(java.lang.String&#91;])&gt;\");\n        CG cg = new CG(sootMethod);\n        TranUtil.cg = cg;\n        MyDetector myDetector = new MyDetector();\n        myDetector.detectMethodRecurse(sootMethod);\n    }\n\n    public void detectMethodRecurse(SootMethod sootMethod) {\n\n        System.out.println(\"\u73b0\u5728\u5206\u6790\u65b9\u6cd5: \" + sootMethod);\n\n        CFG cfg = new CFG(sootMethod, true);\n        cfg.buildCFG();\n\n        List&lt;TransformableNode&gt; topologicalOrder = TranUtil.getTopologicalOrderedTNodesFromCFG(cfg);\n        for(TransformableNode transformableNode : topologicalOrder){\n            transformableNode.forward();\n\/\/            System.out.println(transformableNode);\n            if(transformableNode.containsInvoke()) {\n                for(SootMethod invokedMethod : transformableNode.invokeMethods()) {\n                    detectMethodRecurse(invokedMethod);\n                }\n            }\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-173048-29-10.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250629-173048-29-10.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u8fd9\u91cc\u6211\u4eec\u662f\u5b9e\u73b0\u4e86\u4e00\u4e2a\u4e10\u7248\u7684\u8fc7\u7a0b\u95f4\u63a7\u5236\u6d41\u5206\u6790\uff0c\u4e3b\u8981\u901a\u8fc7\u9012\u5f52\u6765\u5b9e\u73b0\u88ab\u8c03\u7528\u8005\u7684\u65b9\u6cd5\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790<\/h2>\n\n\n\n<p>\u5bf9\u4e8e\u53d8\u91cfx\u548c\u7a0b\u5e8f\u70b9p\uff0c\u5982\u679c\u5728\u7a0b\u5e8f\u6d41\u56fe\u4e2d\u6cbf\u7740\u4ecep\u5f00\u59cb\u7684<strong>\u67d0\u6761\u8def\u5f84<\/strong>\u4f1a\u5f15\u7528\u53d8\u91cfx\u5728p\u70b9\u7684\u503c\uff0c\u5219\u79f0\u53d8\u91cfx\u5728\u70b9p\u662f\u6d3b\u8dc3\uff08live\uff09\u7684\uff0c\u5426\u5219\u79f0\u53d8\u91cfx\u5728\u70b9p\u662f\u4e0d\u6d3b\u8dc3\uff08dead\uff09\u7684\uff0c\u4e5f\u5c31\u662f\u8bf4\uff0c\u5b83\u7684\u503c\u53ef\u80fd\u5728\u4e4b\u540e\u88ab\u4f7f\u7528\uff0c\u800c\u5728\u6b64\u4e4b\u524d\u6ca1\u6709\u88ab\u91cd\u65b0\u8d4b\u503c<\/p>\n\n\n\n<p>\u4e3b\u8981\u4f5c\u7528\u6709\u4e24\u4e2a\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5220\u9664\u65e0\u7528\u8d4b\u503c\uff1a\u6bd4\u5982\u5728\u67d0\u4e2a\u70b9\u8d4b\u503c\u4e4b\u540e\u53d1\u73b0\u540e\u9762\u5176\u5b9e\u7528\u4e0d\u5230\uff0c\u90a3\u4e48\u5176\u5b9e\u5c31\u53ef\u4ee5\u5220\u9664\u8fd9\u4e2a\u8d4b\u503c<\/li>\n\n\n\n<li>\u5bc4\u5b58\u5668\u5206\u914d\uff1a\u5982\u679c\u9700\u8981\u5206\u914d\u5bc4\u5b58\u5668\uff0c\u53ef\u4ee5\u4f18\u5148\u5206\u914d\u8fd9\u4e9b\u4e0d\u6d3b\u8dc3\u53d8\u91cf\u5360\u636e\u7684\u5bc4\u5b58\u5668\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u5728\u8fd9\u91cc\u6709\u51e0\u4e2a\u7b26\u53f7\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>def[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u5b9a\u4e49\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u8d4b\u503c(\u5b9a\u4e49)\u7684\u53d8\u91cf\u3002<\/li>\n\n\n\n<li><strong>use[B]<\/strong>: \u57fa\u672c\u5757B\u4e2d\u4f7f\u7528\u7684\u53d8\u91cf\u96c6\u5408\u3002\u5373\u5728B\u4e2d\u88ab\u4f7f\u7528\u4f46\u672a\u5148\u88ab\u5b9a\u4e49\u7684\u53d8\u91cf\u3002\n<ul class=\"wp-block-list\">\n<li>\u793a\u4f8b\uff1a<code>y = x + 3<\/code>&nbsp;(\u4e14x\u672a\u5728B\u4e2d\u5148\u5b9a\u4e49) \u4f1a\u5bfc\u81f4x \u2208 use[B]<\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong>IN[B]<\/strong>\uff1a\u5728\u8fdb\u5165&nbsp;<code>B<\/code>&nbsp;\u65f6\u54ea\u4e9b\u53d8\u91cf\u662f\u6d3b\u8dc3\u7684\uff08\u53ef\u80fd\u5728\u672a\u6765\u88ab\u4f7f\u7528\uff09\u3002<\/li>\n\n\n\n<li><strong>OUT[B]<\/strong>\uff1a\u5728\u79bb\u5f00&nbsp;<code>B<\/code>&nbsp;\u65f6\u54ea\u4e9b\u53d8\u91cf\u662f\u6d3b\u8dc3\u7684\uff08\u7531\u540e\u7ee7\u5757\u7684&nbsp;<code>IN<\/code>&nbsp;\u51b3\u5b9a\uff09<\/li>\n<\/ul>\n\n\n\n<p>\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u662f\u9006\u5411\u6570\u636e\u6d41\u5206\u6790\uff0c\u5176\u65b9\u7a0b\u4e3a\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>OUT&#91;B] = \u222a IN&#91;S] (\u5bf9\u4e8e\u6240\u6709B\u7684\u540e\u7ee7S)\nIN&#91;B] = use&#91;B] \u222a (OUT&#91;B] - def&#91;B])<\/code><\/pre>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u4e00\u4e2a\u53d8\u91cf\u5728\u57fa\u672c\u5757\u7684\u51fa\u53e3\u6d3b\u8dc3\uff0c\u5982\u679c\u5b83\u5728\u67d0\u4e2a\u540e\u7ee7\u57fa\u672c\u5757\u7684\u5165\u53e3\u6d3b\u8dc3<\/li>\n\n\n\n<li>\u4e00\u4e2a\u53d8\u91cf\u5728\u57fa\u672c\u5757&nbsp;<code>B<\/code>&nbsp;\u7684\u5165\u53e3\u662f\u6d3b\u8dc3\u7684\uff0c\u5982\u679c\u5b83\u5728&nbsp;<code>B<\/code>&nbsp;\u4e2d\u88ab\u4f7f\u7528\uff08\u5373&nbsp;<code>use[B]<\/code>\uff09\uff0c\u6216\u8005\u5b83\u5728&nbsp;<code>B<\/code>&nbsp;\u7684\u540e\u7ee7\u5757\u4e2d\u6d3b\u8dc3\u800c\u5728&nbsp;<code>B<\/code>&nbsp;\u4e2d\u6ca1\u6709\u88ab\u5b9a\u4e49\uff08\u8986\u76d6\uff09\u3002\n<ul class=\"wp-block-list\">\n<li><strong><code>use[B]<\/code><\/strong>\uff1a\u5728&nbsp;<code>B<\/code>&nbsp;\u4e2d\u88ab\u4f7f\u7528\uff08\u8bfb\u53d6\uff09\u4f46\u672a\u5148\u5b9a\u4e49\u7684\u53d8\u91cf\uff08\u5373\u5b83\u4eec\u7684\u503c\u6765\u81ea&nbsp;<code>B<\/code>&nbsp;\u4e4b\u524d\u7684\u8ba1\u7b97\uff09\u3002<\/li>\n\n\n\n<li><strong><code>OUT[B] - def[B]<\/code><\/strong>\uff1a\u5982\u679c\u4e00\u4e2a\u53d8\u91cf\u5728&nbsp;<code>B<\/code>&nbsp;\u7684\u51fa\u53e3\u5904\u662f\u6d3b\u8dc3\u7684\uff08\u5373\u5728&nbsp;<code>B<\/code>&nbsp;\u7684\u540e\u7ee7\u5757\u4e2d\u88ab\u4f7f\u7528\uff09\uff0c\u4f46\u5728&nbsp;<code>B<\/code>&nbsp;\u5185\u90e8\u6ca1\u6709\u88ab\u91cd\u65b0\u5b9a\u4e49\uff0c\u90a3\u4e48\u5b83\u7684\u503c&nbsp;<strong>\u5fc5\u987b\u6765\u81ea&nbsp;<code>B<\/code>&nbsp;\u7684\u5165\u53e3<\/strong>\uff08\u5373\u5b83\u5728&nbsp;<code>B<\/code>&nbsp;\u7684\u5165\u53e3\u5904\u4e5f\u662f\u6d3b\u8dc3\u7684\uff09\uff0c\u5982\u679c\u6765\u81ea\u4e8e B \u5185\u90e8\u7684\u8d4b\u503c\uff0c\u5176\u5b9e\u6211\u4eec\u5c31\u4e0d\u80fd\u786e\u5b9a\u5b83\u4e00\u5b9a\u5728\u5165\u53e3\u5904\u6d3b\u8dc3\u4e86<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<p>\u5bf9\u4e8e\u4e0b\u9762\u8fd9\u4e2a\u4f8b\u5b50\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>B1:\n1: x = 10\n2: y = 20\n3: if x &gt; y goto B3\n\nB2:\n4: z = x + y\n5: w = z * 2\n6: goto B4\n\nB3:\n7: z = x - y\n8: w = z \/ 2\n\nB4:\n9: print(w)<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image is-resized\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250525-001916-24-9.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F05%2FQQ20250525-001916-24-9.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" style=\"width:293px;height:auto\"\/><\/div><\/figure>\n\n\n\n<p>\u5176\u7ed3\u679c\u5982\u4e0b\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th>\u57fa\u672c\u5757<\/th><th><code>def[B]<\/code><\/th><th><code>use[B]<\/code><\/th><\/tr><\/thead><tbody><tr><td><code>B1<\/code><\/td><td><code>{x, y}<\/code><\/td><td><code>{}<\/code><\/td><\/tr><tr><td><code>B2<\/code><\/td><td><code>{z, w}<\/code><\/td><td><code>{x, y}<\/code><\/td><\/tr><tr><td><code>B3<\/code><\/td><td><code>{z, w}<\/code><\/td><td><code>{x, y}<\/code><\/td><\/tr><tr><td><code>B4<\/code><\/td><td><code>{}<\/code><\/td><td><code>{w}<\/code><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p>\u521d\u59cb\u5316\u65f6\uff0c\u6240\u6709&nbsp;<code>IN[B] = {}<\/code>\uff0c<code>OUT[B] = {}<\/code>\uff0c\u7531\u4e8e\u662f\u9006\u5411\u5206\u6790\uff0c\u6211\u4eec\u4ece&nbsp;<code>B4<\/code>&nbsp;\u5f00\u59cb\uff0c\u7136\u540e&nbsp;<code>B3<\/code>&nbsp;\u548c&nbsp;<code>B2<\/code>\uff0c\u6700\u540e&nbsp;<code>B1<\/code>\uff1a<\/p>\n\n\n\n<ol start=\"1\" class=\"wp-block-list\">\n<li><strong><code>B4<\/code>&nbsp;\u7684\u5206\u6790<\/strong>\n<ul class=\"wp-block-list\">\n<li><code>use[B4] = {w}<\/code>,&nbsp;<code>def[B4] = {}<\/code><\/li>\n\n\n\n<li><code>OUT[B4] = {}<\/code>\uff08\u6ca1\u6709\u540e\u7ee7\uff09<\/li>\n\n\n\n<li><code>IN[B4] = use[B4] \u222a (OUT[B4] \\ def[B4]) = {w} \u222a ({} \\ {}) = {w}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong><code>B3<\/code>&nbsp;\u7684\u5206\u6790<\/strong>\n<ul class=\"wp-block-list\">\n<li><code>use[B3] = {x, y}<\/code>,&nbsp;<code>def[B3] = {z, w}<\/code><\/li>\n\n\n\n<li><code>OUT[B3] = IN[B4] = {w}<\/code>\uff08<code>B3<\/code>&nbsp;\u7684\u540e\u7ee7\u662f&nbsp;<code>B4<\/code>\uff09<\/li>\n\n\n\n<li><code>IN[B3] = {x, y} \u222a ({w} \\ {z, w}) = {x, y} \u222a {} = {x, y}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong><code>B2<\/code>&nbsp;\u7684\u5206\u6790<\/strong>\n<ul class=\"wp-block-list\">\n<li><code>use[B2] = {x, y}<\/code>,&nbsp;<code>def[B2] = {z, w}<\/code><\/li>\n\n\n\n<li><code>OUT[B2] = IN[B4] = {w}<\/code>&nbsp;\uff08B2 \u7684\u540e\u7ee7\u53ea\u6709 B4 \uff0c\u76f4\u63a5\u8df3\u8f6c\u8fc7\u53bb\u4e86\uff09<\/li>\n\n\n\n<li><code>IN[B2] = {x, y} \u222a ({w} \\ {z, w}) = {x, y} \u222a {} = {x, y}<\/code><\/li>\n<\/ul>\n<\/li>\n\n\n\n<li><strong><code>B1<\/code>&nbsp;\u7684\u5206\u6790<\/strong>\n<ul class=\"wp-block-list\">\n<li><code>use[B1] = {}<\/code>,&nbsp;<code>def[B1] = {x, y}<\/code><\/li>\n\n\n\n<li><code>OUT[B1] = IN[B2] \u222a IN[B3] = {x, y} \u222a {x, y} = {x, y}<\/code>&nbsp;\uff08B1 \u7684\u540e\u7ee7\u662f B2\u548cB3\uff0c\u4e00\u4e2a\u6765\u81ea\u6761\u4ef6\u8df3\u8f6c\uff0c\u4e00\u4e2a\u6765\u81ea\u76f4\u63a5\u76f8\u8fde\u7684\u8fb9\uff09<\/li>\n\n\n\n<li><code>IN[B1] = {} \u222a ({x, y} \\ {x, y}) = {} \u222a {} = {}<\/code><\/li>\n<\/ul>\n<\/li>\n<\/ol>\n\n\n\n<p>\u5bf9\u5e94\u7684\u7b97\u6cd5\u5982\u4e0b\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling.com\/wp-content\/uploads\/2025\/06\/image.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  loading=\"lazy\" decoding=\"async\" width=\"645\" height=\"439\" data-original=\"https:\/\/fushuling.com\/wp-content\/uploads\/2025\/06\/image.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" class=\"wp-image-3865\"  sizes=\"auto, (max-width: 645px) 100vw, 645px\" \/><\/div><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\">\u53c2\u8003<\/h2>\n\n\n\n<p><a href=\"https:\/\/vwptc6ky5dr.feishu.cn\/docx\/DlxxdshmpoRhEZxtF0sctr89nuc\">https:\/\/vwptc6ky5dr.feishu.cn\/docx\/DlxxdshmpoRhEZxtF0sctr89nuc<\/a><\/p>\n\n\n\n<h1 class=\"wp-block-heading\">Lab<\/h1>\n\n\n\n<h2 class=\"wp-block-heading\">\u73af\u5883\u914d\u7f6e<\/h2>\n\n\n\n<p>\u8fd9\u91cc\u6211\u76f4\u63a5\u4e0amaven\u4e86\uff0cpom.xml\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">&lt;?xml version=\"1.0\" encoding=\"UTF-8\"?&gt;<br>&lt;project xmlns=\"http:\/\/maven.apache.org\/POM\/4.0.0\"<br>         xmlns:xsi=\"http:\/\/www.w3.org\/2001\/XMLSchema-instance\"<br>         xsi:schemaLocation=\"http:\/\/maven.apache.org\/POM\/4.0.0 http:\/\/maven.apache.org\/xsd\/maven-4.0.0.xsd\"&gt;<br>    &lt;modelVersion&gt;4.0.0&lt;\/modelVersion&gt;<br><br>    &lt;groupId&gt;com.itheima&lt;\/groupId&gt;<br>    &lt;artifactId&gt;soot_lab&lt;\/artifactId&gt;<br>    &lt;version&gt;1.0-SNAPSHOT&lt;\/version&gt;<br><br>    &lt;properties&gt;<br>        &lt;maven.compiler.source&gt;8&lt;\/maven.compiler.source&gt;<br>        &lt;maven.compiler.target&gt;8&lt;\/maven.compiler.target&gt;<br>        &lt;project.build.sourceEncoding&gt;UTF-8&lt;\/project.build.sourceEncoding&gt;<br>    &lt;\/properties&gt;<br><br>    &lt;dependencies&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.core&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.java.core&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.java.sourcecode&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.java.bytecode&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.jimple.parser&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.callgraph&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;sootup.analysis&lt;\/artifactId&gt;<br>            &lt;version&gt;1.0.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.soot-oss&lt;\/groupId&gt;<br>            &lt;artifactId&gt;soot&lt;\/artifactId&gt;<br>            &lt;version&gt;4.3.0&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.openjfx&lt;\/groupId&gt;<br>            &lt;artifactId&gt;javafx&lt;\/artifactId&gt;<br>            &lt;version&gt;19.0.2.1&lt;\/version&gt;<br>            &lt;type&gt;pom&lt;\/type&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;org.openjfx&lt;\/groupId&gt;<br>            &lt;artifactId&gt;javafx-controls&lt;\/artifactId&gt;<br>            &lt;version&gt;16&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>        &lt;dependency&gt;<br>            &lt;groupId&gt;com.fasterxml.jackson.core&lt;\/groupId&gt;<br>            &lt;artifactId&gt;jackson-databind&lt;\/artifactId&gt;<br>            &lt;version&gt;2.15.1&lt;\/version&gt;<br>        &lt;\/dependency&gt;<br>    &lt;\/dependencies&gt;<br>    &lt;build&gt;<br>        &lt;plugins&gt;<br>            &lt;plugin&gt;<br>                &lt;groupId&gt;org.apache.maven.plugins&lt;\/groupId&gt;<br>                &lt;artifactId&gt;maven-compiler-plugin&lt;\/artifactId&gt;<br>                &lt;configuration&gt;<br>                    &lt;source&gt;8&lt;\/source&gt;<br>                    &lt;target&gt;8&lt;\/target&gt;<br>                &lt;\/configuration&gt;<br>            &lt;\/plugin&gt;<br>        &lt;\/plugins&gt;<br>    &lt;\/build&gt;<br><br>&lt;\/project&gt;<\/pre>\n\n\n\n<h2 class=\"wp-block-heading\">Task 1.\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790<\/h2>\n\n\n\n<p><strong>\u4efb\u52a1\u8981\u6c42\uff1a<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5229\u7528soot\u4e2d\u7684BackwardFlowAnalysis\u7c7b\u5b8c\u6210\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff0c\u9700\u901a\u8fc7\u5b9e\u73b0\u81ea\u5df2\u7684FlowAnalysis\u7c7b\u5e76\u7ee7\u627fBackwardFlowAnalysis\u7c7b\u6765\u6269\u5c55\u6570\u636e\u6d41\u5206\u6790\uff0c\u4ee5\u5b9e\u73b0\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u529f\u80fd\u3002<\/li>\n\n\n\n<li>\u89e3\u6790lab2.class\u5b8c\u6210\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\uff0c\u6253\u5370\u51fa\u6bcf\u53e5\u8bed\u53e5\u524d\u540e\u7684\u6d3b\u8dc3\u53d8\u91cf<\/li>\n<\/ul>\n\n\n\n<p>\u9996\u5148\u7528idea\u53cd\u7f16\u8bd1\u4e00\u4e0b\u6211\u4eec\u7684\u76ee\u6807lab2.class\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-102815-301.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-102815-301.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" style=\"width:742px;height:auto\"\/><\/div><\/figure>\n\n\n\n<p>\u4e0d\u77e5\u9053\u4e3a\u4ec0\u4e48lab_2.class\u91cc\u585e\u4e86\u4e2aclass lab3\uff0c\u8fd9\u91cc\u9996\u5148\u5148class\u540d\u6539\u6210lab3.class\u3002\u7136\u540e\u770b\u4e00\u770b<code>BackwardFlowAnalysis<\/code>\uff0c\u8fd9\u91cc\u9762\u5176\u5b9e\u6ca1\u4ec0\u4e48\u4e1c\u897f\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-103149-15-30-2.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-103149-15-30-2.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u5b9e\u73b0\u6d3b\u8dc3\u53d8\u91cf\u5206\u6790\u7684\u672c\u8d28\u5176\u5b9e\u662f\u5b9e\u73b0\u8fd9\u4e2a\u8f6c\u79fb\u65b9\u7a0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>OUT&#91;B] = \u222a IN&#91;S]\nIN&#91;B] = use&#91;B] \u222a (OUT&#91;B] - def&#91;B])<\/code><\/pre>\n\n\n\n<p>\u5bf9\u4e8euse\u548cdef\uff0c\u5176\u5b9e\u5728soot\u7684unit\u91cc\u6709\u73b0\u6210\u7684\u5b9e\u73b0\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-104110-15-30-3.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-104110-15-30-3.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u6240\u4ee5\u8fd9\u91cc\u6211\u4eec\u53ea\u9700\u8981\u8fd4\u56de\u4e00\u4e0b\u5373\u53ef\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>private Set&lt;String&gt; getDef(Unit unit) {\n        Set&lt;String&gt; def = new HashSet&lt;&gt;();\n        for (ValueBox vb : unit.getDefBoxes()) {\n            if (vb.getValue() instanceof Local) {\n                def.add(vb.getValue().toString());\n            }\n        }\n        return def;\n    }\n\nprivate Set&lt;String&gt; getUse(Unit unit) {\n        Set&lt;String&gt; use = new HashSet&lt;&gt;();\n        for (ValueBox vb : unit.getUseBoxes()) {\n            if (vb.getValue() instanceof Local) {\n                use.add(vb.getValue().toString());\n            }\n        }\n        return use;\n    }<\/code><\/pre>\n\n\n\n<p>\u5728 Soot \u7684 <code>BackwardFlowAnalysis<\/code> \u4e2d\uff0c\u5f53\u5f53\u524d\u8282\u70b9\u6709\u591a\u4e2a\u540e\u7ee7\uff08succ\uff09\uff0c\u6846\u67b6\u4f1a\u4f9d\u6b21\u628a\u6240\u6709\u540e\u7ee7\u7684 IN \u96c6\u5408\u5408\u5e76\uff0c\u8fd9\u91cc\u6211\u4eec\u4e3b\u8981\u7528\u4e8e\u5b9e\u73b0\u516c\u5f0f<code>OUT[B] = \u222a IN[S]<\/code><\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>protected void merge(Set&lt;String&gt; in1, Set&lt;String&gt; in2, Set&lt;String&gt; out) {\n        out.clear();\n        out.addAll(in1);\n        out.addAll(in2);\n}<\/code><\/pre>\n\n\n\n<p>\u63a5\u7740\u9700\u8981\u5b9e\u73b0<code>IN = (OUT - DEF) \u222a USE<\/code>\uff0c\u4ee3\u7801\u5982\u4e0b\uff0c\u4e5f\u5c31\u662f\u83b7\u53d6out\uff0c\u5148\u51cf\u53bbdef\uff0c\u518d\u5e76\u4e0ause\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>protected void flowThrough(Set&lt;String&gt; in, Unit unit, Set&lt;String&gt; out) {\n        Set&lt;String&gt; inSet = new HashSet&lt;&gt;(out);\n\n        \/\/ \u83b7\u53d6def\u548cuse\n        Set&lt;String&gt; def = getDef(unit);\n        Set&lt;String&gt; use = getUse(unit);\n\n        \/\/ IN = (OUT - DEF) \u222a USE\n        inSet.removeAll(def);\n        inSet.addAll(use);\n\n        in.clear();\n        in.addAll(inSet);\n\n        \/\/ \u6253\u5370\u5f53\u524d\u8bed\u53e5\u7684\u6d3b\u8dc3\u53d8\u91cf\n        System.out.println(\"Statement: \" + unit);\n        System.out.println(\"    IN : \" + in);\n        System.out.println(\"    OUT: \" + out);\n    }<\/code><\/pre>\n\n\n\n<p>\u5b8c\u6574\u7684LiveVariableAnalysis\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\nimport soot.toolkits.graph.DirectedGraph;\nimport soot.toolkits.scalar.BackwardFlowAnalysis;\n\nimport java.util.HashSet;\nimport java.util.Set;\n\npublic class LiveVariableAnalysis extends BackwardFlowAnalysis&lt;Unit, Set&lt;String&gt;&gt; {\n\n    public LiveVariableAnalysis(DirectedGraph&lt;Unit&gt; graph) {\n        super(graph);\n        doAnalysis();\n    }\n\n    @Override\n    protected void flowThrough(Set&lt;String&gt; in, Unit unit, Set&lt;String&gt; out) {\n        Set&lt;String&gt; inSet = new HashSet&lt;&gt;(out);\n\n        \/\/ \u83b7\u53d6def\u548cuse\n        Set&lt;String&gt; def = getDef(unit);\n        Set&lt;String&gt; use = getUse(unit);\n\n        \/\/ IN = (OUT - DEF) \u222a USE\n        inSet.removeAll(def);\n        inSet.addAll(use);\n\n        in.clear();\n        in.addAll(inSet);\n\n        \/\/ \u6253\u5370\u5f53\u524d\u8bed\u53e5\u7684\u6d3b\u8dc3\u53d8\u91cf\n        System.out.println(\"Statement: \" + unit);\n        System.out.println(\"    IN : \" + in);\n        System.out.println(\"    OUT: \" + out);\n    }\n\n    @Override\n    protected Set&lt;String&gt; newInitialFlow() {\n        return new HashSet&lt;&gt;();\n    }\n\n    @Override\n    protected Set&lt;String&gt; entryInitialFlow() {\n        return new HashSet&lt;&gt;();\n    }\n\n    @Override\n    protected void merge(Set&lt;String&gt; in1, Set&lt;String&gt; in2, Set&lt;String&gt; out) {\n        out.clear();\n        out.addAll(in1);\n        out.addAll(in2);\n    }\n\n    @Override\n    protected void copy(Set&lt;String&gt; source, Set&lt;String&gt; dest) {\n        dest.clear();\n        dest.addAll(source);\n    }\n\n    private Set&lt;String&gt; getDef(Unit unit) {\n        Set&lt;String&gt; def = new HashSet&lt;&gt;();\n        for (ValueBox vb : unit.getDefBoxes()) {\n            if (vb.getValue() instanceof Local) {\n                def.add(vb.getValue().toString());\n            }\n        }\n        return def;\n    }\n\n    private Set&lt;String&gt; getUse(Unit unit) {\n        Set&lt;String&gt; use = new HashSet&lt;&gt;();\n        for (ValueBox vb : unit.getUseBoxes()) {\n            if (vb.getValue() instanceof Local) {\n                use.add(vb.getValue().toString());\n            }\n        }\n        return use;\n    }\n}<\/code><\/pre>\n\n\n\n<p>\u89e6\u53d1\u70b9LiveVariableDriver\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\nimport soot.toolkits.graph.BriefUnitGraph;\nimport soot.toolkits.graph.UnitGraph;\n\npublic class LiveVariableDriver {\n\n    public static void main(String&#91;] args) {\n        String inputClassPath = \"D:\/BaiduNetdiskDownload\/lab2\/soot_lab\/target\/targetClass\";\n\n        SootInit.setSootInputClass(inputClassPath);\n\n        for (SootClass sc : Scene.v().getApplicationClasses()) {\n            System.out.println(\"\\n=== Analyzing class: \" + sc.getName() + \" ===\");\n\n            for (SootMethod method : sc.getMethods()) {\n                if (!method.isConcrete()) continue;\n\n                System.out.println(\"\\n&gt;&gt;&gt; Method: \" + method.getName());\n\n                Body body = method.retrieveActiveBody();\n                UnitGraph cfg = new BriefUnitGraph(body);\n\n                new LiveVariableAnalysis(cfg);\n            }\n        }\n    }\n}<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-120830-30-4.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-120830-30-4.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<pre class=\"wp-block-code\"><code>Soot ClassPath: D:\/BaiduNetdiskDownload\/lab2\/soot_lab\/target\/targetClass;D:\\Java\\jdk1.8.0_202\\jre\/lib\/rt.jar;D:\\Java\\jdk1.8.0_202\\jre\\lib\\rt.jar;D:\\Java\\jdk1.8.0_202\\jre\\lib\\jce.jar\n\u2705 Soot\u521d\u59cb\u5316\u5b8c\u6210\uff01\n\n=== Analyzing class: lab3 ===\n\n&gt;&gt;&gt; Method: &lt;init&gt;\nStatement: return\n    IN : &#91;]\n    OUT: &#91;]\nStatement: specialinvoke l0.&lt;java.lang.Object: void &lt;init&gt;()&gt;()\n    IN : &#91;l0]\n    OUT: &#91;]\nStatement: l0 := @this: lab3\n    IN : &#91;]\n    OUT: &#91;]\n\n&gt;&gt;&gt; Method: main\nStatement: return\n    IN : &#91;]\n    OUT: &#91;]\nStatement: staticinvoke &lt;lab3: void func1(int,int)&gt;($stack2, $stack3)\n    IN : &#91;$stack3, $stack2]\n    OUT: &#91;]\nStatement: $stack3 = $stack2 + 10\n    IN : &#91;$stack2]\n    OUT: &#91;]\nStatement: $stack2 = staticinvoke &lt;lab3: int func()&gt;()\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l0 := @parameter0: java.lang.String&#91;]\n    IN : &#91;]\n    OUT: &#91;]\n\n&gt;&gt;&gt; Method: func\nStatement: return $stack5\n    IN : &#91;$stack5]\n    OUT: &#91;]\nStatement: $stack5 = l3 + 0\n    IN : &#91;l3]\n    OUT: &#91;]\nStatement: l3 = 9\n    IN : &#91;]\n    OUT: &#91;]\nStatement: goto &#91;?= $stack5 = l3 + 0]\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l3 = 11\n    IN : &#91;]\n    OUT: &#91;]\nStatement: if 5 &lt;= 0 goto l3 = 9\n    IN : &#91;]\n    OUT: &#91;]\n\n&gt;&gt;&gt; Method: func1\nStatement: return\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l7&#91;l1] = l2\n    IN : &#91;l1, l2, l7]\n    OUT: &#91;]\nStatement: l7&#91;$stack14] = $stack26\n    IN : &#91;$stack26, $stack14, l7]\n    OUT: &#91;]\nStatement: $stack26 = l7&#91;l1]\n    IN : &#91;l1, l7]\n    OUT: &#91;]\nStatement: l2 = l7&#91;$stack14]\n    IN : &#91;$stack14, l7]\n    OUT: &#91;]\nStatement: goto &#91;?= l2 = l7&#91;$stack14]]\n    IN : &#91;]\n    OUT: &#91;]\nStatement: if $stack14 &lt; $stack21 goto l2 = l7&#91;$stack14]\n    IN : &#91;$stack14, $stack21]\n    OUT: &#91;]\nStatement: if $stack18 &lt; l8 goto $stack21 = l6 - 1\n    IN : &#91;$stack18, l8]\n    OUT: &#91;]\nStatement: $stack18 = l7&#91;$stack21]\n    IN : &#91;l7, $stack21]\n    OUT: &#91;]\nStatement: l6 = $stack21\n    IN : &#91;$stack21]\n    OUT: &#91;]\nStatement: $stack21 = l6 - 1\n    IN : &#91;l6]\n    OUT: &#91;]\nStatement: if $stack11 &lt; l8 goto $stack14 = l5 + 1\n    IN : &#91;$stack11, l8]\n    OUT: &#91;]\nStatement: $stack11 = l7&#91;$stack14]\n    IN : &#91;$stack14, l7]\n    OUT: &#91;]\nStatement: l5 = $stack14\n    IN : &#91;$stack14]\n    OUT: &#91;]\nStatement: $stack14 = l5 + 1\n    IN : &#91;l5]\n    OUT: &#91;]\nStatement: goto &#91;?= $stack14 = l5 + 1]\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l7&#91;$stack21] = l2\n    IN : &#91;l2, l7, $stack21]\n    OUT: &#91;]\nStatement: l7&#91;$stack14] = $stack25\n    IN : &#91;$stack14, $stack25, l7]\n    OUT: &#91;]\nStatement: $stack25 = l7&#91;$stack21]\n    IN : &#91;l7, $stack21]\n    OUT: &#91;]\nStatement: l2 = l7&#91;$stack14]\n    IN : &#91;$stack14, l7]\n    OUT: &#91;]\nStatement: if l9 &gt; l1 goto $stack14 = l5 + 1\n    IN : &#91;l1, l9]\n    OUT: &#91;]\nStatement: goto &#91;?= (branch)]\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l9 = l9 + 1\n    IN : &#91;l9]\n    OUT: &#91;]\nStatement: l7&#91;l9] = $stack27\n    IN : &#91;$stack27, l7, l9]\n    OUT: &#91;]\nStatement: $stack27 = l9 * 3\n    IN : &#91;l9]\n    OUT: &#91;]\nStatement: l9 = 0\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l8 = l7&#91;l1]\n    IN : &#91;l1, l7]\n    OUT: &#91;]\nStatement: l7 = newarray (int)&#91;$stack10]\n    IN : &#91;$stack10]\n    OUT: &#91;]\nStatement: $stack10 = l1 + 1\n    IN : &#91;l1]\n    OUT: &#91;]\nStatement: l6 = l1\n    IN : &#91;l1]\n    OUT: &#91;]\nStatement: l5 = l0 - 1\n    IN : &#91;l0]\n    OUT: &#91;]\nStatement: l1 := @parameter1: int\n    IN : &#91;]\n    OUT: &#91;]\nStatement: l0 := @parameter0: int\n    IN : &#91;]\n    OUT: &#91;]<\/code><\/pre>\n\n\n\n<h2 class=\"wp-block-heading\">Task 2.\u6b7b\u4ee3\u7801\u6d88\u9664<\/h2>\n\n\n\n<p><strong>\u4efb\u52a1\u8981\u6c42\uff1a<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u8be5\u5b9e\u9a8c\u53ef\u4ee5\u901a\u8fc7\u4e24\u4e2a\u601d\u8def\u6765\u89e3\u51b3\uff0c\u7b2c\u4e00\u4e2a\u601d\u8def\u662f\u76f4\u63a5\u5229\u7528\u63a7\u5236\u6d41\u63d0\u4f9b\u7684\u4fe1\u606f\uff0c\u6bd4\u5982\u662f\u5426\u4f1a\u6709\u65b9\u6cd5\u5728CallGraph\u6216\u8005invoke\u6307\u4ee4\u4e0a\u4ece\u672a\u51fa\u73b0\u8fc7\uff0c\u5229\u7528\u8fd9\u79cd\u8f83\u4e3a\u7b80\u5355\u7684\u65b9\u6cd5\uff0c\u53ef\u4ee5\u79fb\u9664\u6389\u4e00\u4e9b\u4ece\u672a\u88ab\u8c03\u7528\u8fc7\u7684\u65b9\u6cd5\uff0c\u4e5f\u53ef\u4ee5\u5229\u7528\u6761\u4ef6\u5206\u652f\u83b7\u53d6\u7684\u5e38\u6570\u4fe1\u606f\u6765\u5224\u65ad\u662f\u5426\u4f1a\u6709\u5206\u652f\u65e0\u6cd5\u88ab\u89e6\u53d1\u3002\u4e0a\u6587\u6240\u8ff0\u7684\u6b7b\u4ee3\u7801\u79fb\u9664\u65b9\u6cd5\u8f83\u4e3a\u7b80\u5355\uff0c\u540c\u5b66\u4eec\u8981\u719f\u7ec3\u4f7f\u7528Soot\u624d\u80fd\u7075\u6d3b\u5b9e\u73b0\uff0c\u8be5\u5b9e\u9a8c\u4e3b\u8981\u4ece\u7c7b\u3001\u65b9\u6cd5\u3001\u6307\u4ee4\u4e09\u4e2a\u89d2\u5ea6\u8003\u5bdf\u5bf9\u6b7b\u4ee3\u7801\u8fdb\u884c\u79fb\u9664\u7684\u65b9\u6cd5\u3002<\/li>\n\n\n\n<li>\u8fdb\u884c\u8fc7\u7a0b\u5185\u5206\u6790\u5bfb\u627elab2.apk\u4e2d\u7684\u6b7b\u4ee3\u7801\uff0c\u6839\u636e\u8003\u8651\u5230\u4e0d\u540c\u60c5\u51b5\u6b7b\u4ee3\u7801\u7684\u5b8c\u5584\u7a0b\u5ea6\u8fdb\u884c\u8bc4\u5206<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">\u8bc6\u522b\u65e0\u6cd5\u89e6\u53d1\u7684\u65b9\u6cd5<\/h3>\n\n\n\n<p>\u9996\u5148\u6211\u4eec\u53ef\u4ee5\u7528jadx-gui\u67e5\u770b\u4e00\u4e0b\u8fd9\u4e2aapk\u5bf9\u5e94\u7684\u65b9\u6cd5\uff0c\u53ef\u4ee5\u770b\u5230\u4e3b\u8981\u7684\u5305\u662fcom.example.lab_code\uff0c\u4e3b\u903b\u8f91\u662fMainActivity\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224254-30-1.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224254-30-1.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224501-30-2.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224501-30-2.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224552-30-3.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-224552-30-3.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u8089\u773c\u5206\u6790\u6211\u4eec\u53ef\u4ee5\u77e5\u9053\uff0c\u5728\u4e3b\u65b9\u6cd5onCreate\u91cc\u5bf9\u5e94\u7684dead method\u662fclass_test\u3001showLocation\u548cchangePassword<\/p>\n\n\n\n<p>\u8fd9\u91cc\u6709\u4e00\u4e2a\u5f88\u795e\u5947\u7684\u4e8b\uff0c\u6211\u4e4b\u524d\u7528spark\u603b\u662f\u8bc6\u522b\u4e0d\u5230pathTest\u90a3\u6761\u8c03\u7528\u8fb9\uff0c\u5bfc\u81f4\u4f1a\u628apathTest\u5f53\u4f5cdead method\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2F%E5%BE%AE%E4%BF%A1%E5%9B%BE%E7%89%87_20250630224924-30-4.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2F%E5%BE%AE%E4%BF%A1%E5%9B%BE%E7%89%87_20250630224924-30-4.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u6700\u540e\u6211\u9009\u62e9\u4f7f\u7528CHA\u8fdb\u884c\u5206\u6790\uff0c\u7136\u540e\u81ea\u5df1\u6784\u9020EntryPoint\u65b9\u6cd5\uff0c\u4e5f\u5c31\u662f\u624b\u52a8\u6784\u9020\u4e00\u4e2adummyMain\uff0c\u91cc\u9762\u8c03\u7528 <code>onCreate()<\/code>\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\nimport soot.jimple.*;\nimport java.util.Collections;\n\npublic class DummyMainCreator {\n\n    public static SootMethod createDummyMain(String mainClassName) {\n        SootClass mainClass = Scene.v().getSootClass(mainClassName);\n        SootMethod dummyMain = new SootMethod(\n                \"dummyMain\",\n                Collections.emptyList(),\n                VoidType.v(),\n                Modifier.PUBLIC | Modifier.STATIC\n        );\n\n        Scene.v().getSootClass(\"java.lang.Object\").setApplicationClass();\n        mainClass.addMethod(dummyMain);\n\n        JimpleBody body = Jimple.v().newBody(dummyMain);\n        dummyMain.setActiveBody(body);\n\n        \/\/ Local\u53d8\u91cf\n        Local thisLocal = Jimple.v().newLocal(\"thisLocal\", mainClass.getType());\n        body.getLocals().add(thisLocal);\n\n        \/\/ new MainActivity()\n        NewExpr newExpr = Jimple.v().newNewExpr(mainClass.getType());\n        AssignStmt assignStmt = Jimple.v().newAssignStmt(thisLocal, newExpr);\n        body.getUnits().add(assignStmt);\n\n        \/\/ \u8c03\u7528\u6784\u9020\u51fd\u6570\n        SootMethod initMethod = mainClass.getMethodByName(\"&lt;init&gt;\");\n        SpecialInvokeExpr initExpr = Jimple.v().newSpecialInvokeExpr(thisLocal, initMethod.makeRef());\n        body.getUnits().add(Jimple.v().newInvokeStmt(initExpr));\n\n        \/\/ \u8c03\u7528onCreate(null)\n        SootMethod onCreateMethod = mainClass.getMethod(\"void onCreate(android.os.Bundle)\");\n        VirtualInvokeExpr onCreateExpr = Jimple.v().newVirtualInvokeExpr(\n                thisLocal, onCreateMethod.makeRef(), NullConstant.v()\n        );\n        body.getUnits().add(Jimple.v().newInvokeStmt(onCreateExpr));\n\n        \/\/ return\n        body.getUnits().add(Jimple.v().newReturnVoidStmt());\n\n        return dummyMain;\n    }\n}<\/code><\/pre>\n\n\n\n<p>\u521d\u59cb\u5316\u7684\u4ee3\u7801\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>public static void initAPK(String apkPath, String androidJarPath, String mainClassName) {\n        G.reset();\n\n        \/\/ \u57fa\u672c\u914d\u7f6e\n        Options.v().set_src_prec(Options.src_prec_apk);\n        Options.v().set_android_jars(androidJarPath);\n        Options.v().set_process_dir(Collections.singletonList(apkPath));\n        Options.v().set_whole_program(true);\n        Options.v().set_allow_phantom_refs(true);\n        Options.v().set_force_android_jar(androidJarPath + \"\/android-30\/android.jar\");\n        Options.v().set_process_multiple_dex(true);\n        Options.v().set_output_format(Options.output_format_none);\n\n        \/\/ Call Graph \u8bbe\u7f6e\uff0c\u4f7f\u7528CHA\u5206\u6790\n        Options.v().setPhaseOption(\"cg.cha\", \"on\");\n\n        Options.v().set_no_bodies_for_excluded(true);\n        Scene.v().loadNecessaryClasses();\n        SootClass mainClass = Scene.v().getSootClassUnsafe(mainClassName, false);\n        if (mainClass == null) {\n            throw new RuntimeException(\"\u274c \u627e\u4e0d\u5230Main\u7c7b\uff1a\" + mainClassName);\n        }\n        mainClass.setApplicationClass();\n    }<\/code><\/pre>\n\n\n\n<p>\u4e3b\u903b\u8f91\u5728CallGraphBasedElimination\u4e2d\uff0c\u4e3b\u8981\u5c31\u662f\u57fa\u4e8eSoot\u6846\u67b6\u6784\u5efa\u7684Call Graph\uff0c\u901a\u8fc7\u4ece\u6307\u5b9a\u7684\u5165\u53e3\u70b9\uff08<code>onCreate<\/code>\uff09\u51fa\u53d1\uff0c\u904d\u5386\u6240\u6709\u65b9\u6cd5\u7684\u8c03\u7528\u5173\u7cfb\uff0c\u627e\u51fa\u5e94\u7528\u5305 <code>com.example.lab_code<\/code> \u4e2d\u6ca1\u6709\u88ab\u4efb\u4f55\u8def\u5f84\u8c03\u7528\u7684\u65b9\u6cd5\uff0c\u5e76\u5c06\u5b83\u4eec\u5224\u5b9a\u4e3aDead Method\u3002\u8fd9\u91cc\u6211\u624b\u52a8\u5904\u7406\u4e86\u4e00\u4e0b\uff0c\u5ffd\u7565\u6784\u9020\u51fd\u6570<code>&lt;init&gt;<\/code>\uff0c\u53ea\u8f93\u51fa\u771f\u6b63\u672a\u88ab\u8c03\u7528\u7684\u666e\u901a\u65b9\u6cd5\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\nimport soot.jimple.toolkits.callgraph.CallGraph;\nimport soot.jimple.toolkits.callgraph.Edge;\n\nimport java.util.*;\n\npublic class CallGraphBasedElimination {\n\n    public static void analyze() {\n        PackManager.v().getPack(\"cg\").apply();\n        CallGraph cg = Scene.v().getCallGraph();\n\/\/        for (Edge edge : cg) {\n\/\/            System.out.println(edge);\n\/\/        }\n\n        Set&lt;SootMethod&gt; reachableMethods = new HashSet&lt;&gt;();\n\n        Queue&lt;SootMethod&gt; worklist = new LinkedList&lt;&gt;(Scene.v().getEntryPoints());\n        reachableMethods.addAll(worklist);\n\n        while (!worklist.isEmpty()) {\n            SootMethod method = worklist.poll();\n            Iterator&lt;Edge&gt; edgesOut = cg.edgesOutOf(method);\n            while (edgesOut.hasNext()) {\n                Edge e = edgesOut.next();\n                SootMethod target = e.getTgt().method();\n                if (!reachableMethods.contains(target)) {\n                    reachableMethods.add(target);\n                    worklist.add(target);\n                }\n            }\n        }\n\n        System.out.println(\"========== Dead Code Detection ==========\");\n\n        for (SootClass clazz : Scene.v().getApplicationClasses()) {\n            if (!clazz.getName().startsWith(\"com.example.lab_code\")) {\n                continue;\n            }\n            for (SootMethod method : clazz.getMethods()) {\n                if (reachableMethods.contains(method)) {\n                } else {\n                    if (method.isConcrete()&amp;&amp;!method.getName().equals(\"&lt;init&gt;\")) {\n                        System.out.println(\"&#91;Dead Method] \" + method.getSignature());\n                    }\n                }\n            }\n        }\n\n        System.out.println(\"\u2705 Dead code analysis finished.\");\n    }\n\n}<\/code><\/pre>\n\n\n\n<p>\u6700\u540e\u5728DeadCodeEliminationDriver\u8fdb\u884c\u8c03\u7528\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\n\nimport java.util.Collections;\n\npublic class DeadCodeEliminationDriver {\n    public static void main(String&#91;] args) {\n        \/\/ \u521d\u59cb\u5316 Soot\n        SootInit.initAPK(\n                \"D:\/BaiduNetdiskDownload\/lab2\/lab_2.apk\",\n                \"D:\/BaiduNetdiskDownload\/lab2\/android-platforms\",\n                \"com.example.lab_code.MainActivity\"\n        );\n\n        \/\/ \u521b\u5efa DummyMain\n        SootMethod dummyMain = DummyMainCreator.createDummyMain(\"com.example.lab_code.MainActivity\");\n\n        \/\/ \u8bbe\u7f6e EntryPoint\n        Scene.v().setEntryPoints(Collections.singletonList(dummyMain));\n        System.out.println(\"\u2705 EntryPoint \u8bbe\u7f6e\u4e3a: \" + dummyMain.getSignature());\n\n        \/\/ Dead Code \u5206\u6790\n        CallGraphBasedElimination.analyze();\n    }\n}\n<\/code><\/pre>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-225526%3D30%3D5.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-225526%3D30%3D5.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\">\u8bc6\u522b\u65e0\u6cd5\u89e6\u53d1\u7684\u5206\u652f<\/h3>\n\n\n\n<p>\u4ece\u8089\u773c\u53ef\u4ee5\u770b\u51fa\u6765\uff0c\u5176\u5b9e\u8fd9\u4e2aonCreate\u91cc\u7684if\u5206\u652f\u5176\u5b9e\u662f\u6052\u6210\u7acb\u7684\uff0c\u6c38\u8fdc\u90fd\u53ea\u4f1a\u8d70\u8fd9\u4e2aelse\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large is-resized\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-231143-30-5.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-231143-30-5.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\" style=\"width:736px;height:auto\"\/><\/div><\/figure>\n\n\n\n<p>\u8fd9\u91cc\u6211\u505a\u7684\u6bd4\u8f83\u4e10\u7248\uff0c\u4e3b\u8981\u662f\u5206\u6790if\u91cc\u7684\u5224\u65ad\u662f\u5426\u6052\u6210\u7acb\uff0c\u5b8c\u6574\u7684\u4ee3\u7801\u5982\u4e0b\uff1a<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>package livevar;\n\nimport soot.*;\nimport soot.jimple.*;\nimport soot.toolkits.graph.Block;\nimport soot.toolkits.graph.BlockGraph;\nimport soot.toolkits.graph.BriefBlockGraph;\n\nimport java.util.*;\n\npublic class BranchBasedElimination {\n\n    public static void analyze() {\n        System.out.println(\"========== Branch-based constant propagation ==========\");\n\n        for (SootClass clazz : Scene.v().getApplicationClasses()) {\n            if (!clazz.getName().startsWith(\"com.example.lab_code\")) {\n                continue;\n            }\n\n            for (SootMethod method : clazz.getMethods()) {\n                if (!method.isConcrete()) continue;\n                if (method.getName().equals(\"&lt;init&gt;\") || method.getName().equals(\"dummyMain\")) continue;\n\n                System.out.println(\"\\n===== \u5206\u6790\u65b9\u6cd5\uff1a\" + method.getSignature() + \" =====\");\n\n                Body body = method.retrieveActiveBody();\n                BlockGraph blockGraph = new BriefBlockGraph(body);\n\n                Map&lt;Value, Integer&gt; constants = new HashMap&lt;&gt;();\n\n                for (Block block : blockGraph) {\n                    for (Unit unit : block) {\n                        Stmt stmt = (Stmt) unit;\n\n                        \/\/ \u5904\u7406\u8d4b\u503c\u8bed\u53e5\n                        if (stmt instanceof AssignStmt) {\n                            Value left = ((AssignStmt) stmt).getLeftOp();\n                            Value right = ((AssignStmt) stmt).getRightOp();\n\n                            Integer value = getValue(right, constants);\n                            if (value != null) {\n                                constants.put(left, value);\n                            }\n                        }\n\n                        \/\/ \u5904\u7406if\u8bed\u53e5\n                        if (stmt instanceof IfStmt) {\n                            ConditionExpr condition = (ConditionExpr) ((IfStmt) stmt).getCondition();\n                            Value op1 = condition.getOp1();\n                            Value op2 = condition.getOp2();\n\n                            Integer v1 = getValue(op1, constants);\n                            Integer v2 = getValue(op2, constants);\n\n                            if (v1 != null &amp;&amp; v2 != null) {\n                                boolean result = evalCondition(condition, v1, v2);\n                                String branch = result ? \"else\u5206\u652f\u65e0\u6cd5\u89e6\u53d1\" : \"if\u5206\u652f\u65e0\u6cd5\u89e6\u53d1\";\n                                System.out.println(\"\u274c \u6761\u4ef6\u6052\u4e3a\" + result + \"\uff0c\" + branch + \" \uff1a \" + stmt);\n                            } else {\n                                System.out.println(\"\u26a0\ufe0f \u6761\u4ef6\u65e0\u6cd5\u9759\u6001\u5224\u5b9a\uff1a \" + stmt);\n                            }\n                        }\n                    }\n                }\n            }\n        }\n\n        System.out.println(\"\\n\u2705 Branch-based dead code analysis finished.\");\n    }\n\n    \/\/ \u83b7\u53d6\u5e38\u91cf\u503c\n    private static Integer getValue(Value val, Map&lt;Value, Integer&gt; constants) {\n        if (val instanceof IntConstant) {\n            return ((IntConstant) val).value;\n        } else if (val instanceof Local) {\n            return constants.getOrDefault(val, null);\n        } else if (val instanceof VirtualInvokeExpr) {\n            VirtualInvokeExpr vInvoke = (VirtualInvokeExpr) val;\n            String methodName = vInvoke.getMethodRef().name();\n\n            \/\/ \u652f\u6301 intValue()\n            if (methodName.equals(\"intValue\")) {\n                Value base = vInvoke.getBase();\n                return constants.getOrDefault(base, null);\n            }\n        } else if (val instanceof StaticInvokeExpr) {\n            \/\/ \u5904\u7406 Integer.valueOf(int)\n            StaticInvokeExpr sInvoke = (StaticInvokeExpr) val;\n            if (sInvoke.getMethodRef().name().equals(\"valueOf\") &amp;&amp;\n                    sInvoke.getMethodRef().declaringClass().getName().equals(\"java.lang.Integer\")) {\n                Value arg = sInvoke.getArg(0);\n                if (arg instanceof IntConstant) {\n                    return ((IntConstant) arg).value;\n                }\n            }\n        }\n        return null;\n    }\n\n    \/\/ \u5224\u65ad\u6761\u4ef6\u771f\u5047\n    private static boolean evalCondition(ConditionExpr expr, int v1, int v2) {\n        if (expr instanceof GeExpr) {\n            return v1 &gt;= v2;\n        } else if (expr instanceof GtExpr) {\n            return v1 &gt; v2;\n        } else if (expr instanceof LeExpr) {\n            return v1 &lt;= v2;\n        } else if (expr instanceof LtExpr) {\n            return v1 &lt; v2;\n        } else if (expr instanceof EqExpr) {\n            return v1 == v2;\n        } else if (expr instanceof NeExpr) {\n            return v1 != v2;\n        } else {\n            throw new RuntimeException(\"\u4e0d\u652f\u6301\u7684\u6761\u4ef6\u8868\u8fbe\u5f0f: \" + expr);\n        }\n    }\n}\n<\/code><\/pre>\n\n\n\n<p>\u7136\u540e\u7528<code>BranchBasedElimination.analyze()<\/code>\u8c03\u7528\u4e00\u4e0b\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><div class='fancybox-wrapper lazyload-container-unload' data-fancybox='post-images' href='https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-231716-30-5.png'><img class=\"lazyload lazyload-style-1\" src=\"data:image\/svg+xml;base64,PCEtLUFyZ29uTG9hZGluZy0tPgo8c3ZnIHdpZHRoPSIxIiBoZWlnaHQ9IjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgc3Ryb2tlPSIjZmZmZmZmMDAiPjxnPjwvZz4KPC9zdmc+\"  decoding=\"async\" data-original=\"https:\/\/fushuling-1309926051.cos.ap-shanghai.myqcloud.com\/2025%2F06%2FQQ20250630-231716-30-5.png\" src=\"data:image\/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAYAAAAfFcSJAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAANSURBVBhXYzh8+PB\/AAffA0nNPuCLAAAAAElFTkSuQmCC\" alt=\"\"\/><\/div><\/figure>\n\n\n\n<p>\u4e0d\u77e5\u9053\u4e3a\u4ec0\u4e48soot\u8fd9\u91cc\u89e3\u6790\u7684\u5224\u65ad\u8bed\u53e5\u662f<code>if i0 &lt;= 10<\/code>\uff0c\u4e0d\u8fc7\u8fd8\u662f\u53ef\u4ee5\u770b\u51fa\u6765\u56e0\u4e3a<code>i0=8<\/code>\uff0c\u5bfc\u81f4\u8fd9\u4e2a\u5224\u65ad\u6052\u4e3a\u771f\u4e86\uff0c\u56e0\u6b64\u5bf9\u5e94\u7684else\u5206\u652f\u6c38\u8fdc\u4e0d\u53ef\u80fd\u88ab\u89e6\u53d1\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u80cc\u666f \u7b80\u4ecb Soot \u6700\u521d\u7531\u9ea6\u5409\u5c14\u5927\u5b66\u7684 Sable \u7814\u7a76\u5c0f\u7ec4\u5f00\u53d1\u3002\u5173\u4e8e Soot \u7684\u7b2c\u4e00\u7bc7\u8bba\u6587\u53d1\u8868\u4e8e 199 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15],"tags":[],"class_list":["post-3863","post","type-post","status-publish","format-standard","hentry","category-lab"],"_links":{"self":[{"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/posts\/3863","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/comments?post=3863"}],"version-history":[{"count":6,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/posts\/3863\/revisions"}],"predecessor-version":[{"id":3873,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/posts\/3863\/revisions\/3873"}],"wp:attachment":[{"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/media?parent=3863"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/categories?post=3863"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/fushuling.com\/index.php\/wp-json\/wp\/v2\/tags?post=3863"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}