原创力文档- 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
- 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
摘要
近些年智能合约安全性事件频发，给其用户造成了巨大的的经济损失。针对智能
合约面临的安全问题，研究人员提出了很多智能合约安全检测的软件工具，但由于智
能合约发展历史较短，部分工具仍存在准确率低和效率不高等缺点。符号执行作为智
能合约漏洞检测的重要手段之一，却存在着搜索策略简单、路径爆炸和约束求解困难
等问题。另外，现有的符号执行并行化方法效率不高，且不能很好地适用于智能合约。
本文针对上述问题进行研究，主要工作内容和贡献如下：
（1）针对符号执行的搜索策略简单、路径爆炸和约束求解困难等难
文档评论（0）