data-flow graph应用于以太坊智能合约漏洞检测

最新推荐文章于 2022-05-21 18:16:14 发布

Leofyczd

最新推荐文章于 2022-05-21 18:16:14 发布

阅读量339

点赞数

文章标签：区块链算法

本文链接：https://blog.csdn.net/leofyc1/article/details/106912319

版权

related work

1996年T.Ball和J.Larus提出的Efficient Path Profiling方法。该方法首次提出通过在目标软件中插桩探针语句的方式来实现路径的唯一编码，能够以低廉的耗费处理一个软件中所有的非循环路径，但是不能处理循环路径，其中的路径编码和插桩方式为后续的路径剖析研究奠定了基础；

2007年K.Vaswani等人提出的Preferential Path Profiling方法。该方法能够针对用户所指定的目标软件中一部分非循环路径(称为“兴趣路径集合”)进行剖析，不区分或处理兴趣路径集合之外的任何路径，该方法耗费较Efficient Path Profiling更低，依然不能处理循环路径；

2012年B.Li和L.Wang等人提出的Profiling ofAll Paths方法。这一方法能够处理带有循环的软件路径，获得精确的剖析结果，耗费高于前两种方法。