CHA和P/Taint结合自动化分析WebGoat

[Y4er]

实现效果

1. 筛选满足自定义条件的source
2. 设置source为ptiant入口
3. 自定义sink危险函数
4. 输出函数调用路径及污点传播路径

以webgoat为例，设置满足一下条件的method为source，其参数为污点

1. RestController
2. RequestMapping

定义sink危险函数如

1. Runtime.getRuntime.exec
2. Process.start
3. new File()

输出函数调用路径及污点传播路径

TODO

请师傅补充规则