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

最新推荐文章于 2024-12-31 16:56:26 发布

原创最新推荐文章于 2024-12-31 16:56:26 发布 · 408 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#区块链 #算法

本文回顾了路径剖析技术的发展历程，从1996年的EfficientPathProfiling到2012年的ProfilingofAllPaths，详细介绍了三种关键路径剖析方法的特点及局限，包括对循环路径处理能力的提升。

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方法。这一方法能够处理带有循环的软件路径，获得精确的剖析结果，耗费高于前两种方法。