基于依赖图的信息流控制与Java、PHP语言安全对比分析
1. 基于依赖图的信息流控制可扩展性研究
在信息流控制研究中,为验证基于切片的新型信息流控制方法的可扩展性,研究人员选取了多个基准程序进行执行时间测量。这些基准程序涵盖了8个平均规模为1kLoc的学生程序、两个中型JavaCard小程序以及一个Java应用程序。部分学生程序API调用较少,为避免遗漏关键依赖关系,研究人员设计了存根。
| Nr | Name | LOC | Nodes | Edges | Time | Summary |
|---|---|---|---|---|---|---|
| 1 | Dijkstra | 618 | 2281 | 4999 | 4 | 1 |
| 2 | Enigma | 922 | 2132 | 4740 | 5 | 1 |
| 3 | Lindenmayer | 490 | 2601 | 195552 |
超级会员免费看
订阅专栏 解锁全文

被折叠的 条评论
为什么被折叠?



