nju software analysis homework

本仓库的使命已完成，请移步官方Tai-e教程：
仓库：https://github.com/pascal-lab/Tai-e-assignments
官方网站：http://tai-e.pascal-lab.net
知乎帖子：https://zhuanlan.zhihu.com/p/488957195

本仓库是早期作业的参考实现...

歡迎加程序分析工具開發群(二維碼過期，參考issue #4)

https://canliture.github.io/imgs/group.jpg

---

這裡是南京大學軟件分析課程實驗作業的非官方實現

注：南大課程作業Bamboo沒開源，為啥有這個倉庫？

• 作業的pdf南大課程給了，API也給了；照著API，再根據自己的理解就基本上可以做了。

目前狀態

• 還沒經過大量測試(至少保證Lecture 裡面的例子是沒問題的)
• 第5次作業就差最後的obj/type-sensitive代碼的填空了
• 希望提bug/issue
• 最近挺忙的,先停更1/2个月吧.相信这份代码仍然能够给人一些帮助.(2021-11-08)

環境

• Java 8
• Soot 4.2.1
• IntelliJ IDEA
• Maven構建/Junit測試

文件

• docs/org為南大課程的作業原題pdf
• docs/soot為soot參考資料
• src/main/java/com/canliture/soot/每個子目錄下的作業都有一個README，作為作業的簡單說明

代碼

• com.canliture.soot.ass1
  • 第一次作業的代碼實現
  • 常量傳播
• com.canliture.soot.ass2
  • 第二次作業的代碼實現
  • 常量傳播+ 活性檢測應用於死代碼消除
• com.canliture.soot.ass3
  • 第三次作業的代碼實現
  • CHA用於構造調用圖
• com.canliture.soot.ass4
  • 第四次作業的代碼實現
  • 流不敏感指針分析
• com.canliture.soot.ass5
  • 第五次作業的代碼實現
  • 流敏感指針分析

測試

運行單元測試的代碼: src/test/java/目錄下

• com.canliture.soot.ass{n}

被測試代碼: src/test/testcodes/ass/*

調試運行

• 使用IntelliJ IDEA時，將目錄src/test/testcodes/ass標記為Test sources root

  • 這樣就能夠在調試/運行的時候自動將被測試代碼編譯到target/test-classes目錄下，方便測試

• 以ass1的調試/運行測試為例

  • 找到com.canliture.soot.ass1.IntraConstantPropagationTest類，運行Junit測試即可
  • 每個測試類都有一個getTransformer()方法，裡面的返回的Transformer的internalTransform方法就是分析的入口了

• 對整個測試怎麼跑起來, 可以查看InterBaseTest和IntraBaseTest類，這裡封裝個小的測試框架

  • @Before 測試前先配置一下Soot
  • @Test 執行測試代碼
  • @After 輸出Jimple IR到sootOutput目錄下