search

vorfreuder / store_data

0 stars 0 forks source link

A8: Taint Analysis | H E S I T A T E R #22

Open vorfreuder opened 1 year ago

vorfreuder commented 1 year ago

https://eterniter.github.io/Static%20Program%20Analysis/A8/

作业 8：污点分析 南京大学《软件分析》课程 作业出品：谭添、李樾 为 Java 实现污点分析。 不那么正规的话，可以在每次workList清空后再遍历Call Graph，执行Source和TaintTransfers规则 将生成的taint objects加入到workList中(加入之前检查当前pointer是否已经存在该污点对象)，直到不再产生新的taint objects S