木星链 木星链
Ctrl+D收藏木星链

区块链:安全问题频现 程序分析如何提前捕获安全漏?

作者:

时间:1900/1/1 0:00:00

如果你对区块链技术感兴趣的话,可能听说过很多攻击者利用程序代码中的漏洞而导致的大量资金被盗事件。例如,2016 年臭名昭著的 DAO 攻击事件,攻击者利用一个名叫「重入」的漏洞超额提取了他们原本所能提取的资金。另一个更近期的事件是闪电贷攻击,发生于 2022 年 4 月 17 日,造成 1.82 亿美元的资金损失。虽然所有攻击都源于底层源代码的安全漏洞,但好消息是现在已经有能够检测此类漏洞的程序分析技术。在接下去的几篇博文中,我们会解释程序分析是什么,以及它如何帮助在部署前捕获安全漏洞。

程序分析指的是一类用于检测程序中安全漏洞的技术。程序分析有两种主要形式,动态和静态。动态程序分析的目标是通过执行程序来检测问题,而静态程序分析则无需运行程序本身就可以对源代码进行分析。然而,在这些技术之中,只有静态分析能够确保程序中不存在漏洞。相反,不同于静态分析,动态分析能证明问题的存在,它并不能够证明漏洞并不存在。

动态 | 报告:随着区块链技术的深入应用 引发的网络安全问题将逐渐增多:据齐鲁网6月11日消息,今天下午,《2018年山东省互联网网络安全报告》在济南发布。报告提到,随着区块链技术的深入应用,引发的网络安全问题将逐渐增多,以数字加密货币为基础的黑产交易、网络勒索等行为出于不可控状态,挖矿恶意软件持续猖獗。[2019/6/11]

乍一看,静态分析听起来似乎很神秘:表面看来,静态分析似乎违反了一个被总结为莱斯定理「Rice's theorem」的基本原则,该定理声称程序的每一个非平凡性质都是不可判定的。在此,语义属性是关于程序行为的属性(与语法属性不同),而非平凡性质是指只有某些程序拥有而其他程序没有的性质。与我们手头话题更相关的是,安全漏洞的存在是非平凡性质的一个典型例子。因此,关于「这个程序是否存在安全漏洞」这一问题,莱斯定理告诉我们没有一个算法能够终结并准确回答这一问题。

声音 | 波士顿联储财政和金融服务副总裁:区块链安全问题最让其担忧:据福布斯报道,美国波士顿联储财政和金融服务副总裁Jim Cunha在谈及区块链的速度和无边界方面时表示,央行面临的最大障碍并不是技术,而是围绕在构建区块链组织的安全问题,因其不确定性才是最让其担忧。[2018/10/2]

那么,静态分析的可行性源自哪里呢?答案藏于以下的观察:没错,没有一个算法能够准确地给出是或否,但可以有一个算法在程序有安全漏洞时总是会回答「是」,在程序没有安全漏洞时算法有时可能也会回答「是」。换句话说,只要我们愿意容忍一些误报,我们就可以绕过赖斯定理和不可判定性。

声音 | 商务部研究院副院长曲维玺:区块链技术可解决交易中信任和安全问题:据新华社消息,近日从商务部国际贸易经济合作研究院获悉,我国将加快区块链技术在商务领域的应用,为发展数字商务带来新动能。商务部研究院副院长曲维玺表示,区块链技术特点决定了可以比较好地解决交易中的一些信任和安全问题,在商务领域也已经有一些应用案例,未来,需要进一步总结经验,规范有序发展。[2018/8/21]

让我们以高一维度的视角来看看静态分析是如何运作的。静态分析的基本原理是将程序所处的状态集合进行过近似「over-approximate」。我们将程序状态视为从变量到值的映射。一般来说,不存在一个算法能够明确也许是执行某一程序引起的确切程序状态集。但可以近似该集合,如下图所示:

EOS FORCE回应该安全问题并提供建议:据EOS FORCE今天回应 EOS 90S竞选节点提出的一个安全顾虑:官方不启动主网,可能会有多个社区同时启动EOS主网,当用户导入其中一个恶意主网,可能导致私钥被盗取。EOS FORCE撰文详细解释了多条主网映射为什么会存在安全问题,尤其是用户需要映射多条主链,可能会有恶意主链到去私钥。EOS FORCE提出了解决方案,建议EOS转入交易所,由交易所在各条主链上做多次映射,并且对各个链钱包的做专业的评估。同时交易所可以只进行中心化交易,等链稳定和钱包安全后再进行激活进而支持充提现,这样更为安全稳妥。IMEOS提醒,在多条主链启动,用户也可以获得多条主链的代币,相当于现在的EOS token未来可以领取多份主网的EOS coin。[2018/5/22]

此处,蓝色的不规则形状对应在执行某些程序时可能出现的实际状态集,红色区域对应预示错误或安全漏洞的「坏状态」。由于不可判定性,永远没有一个算法能够准确表明蓝色区域到底是什么,但是我们能设计一个算法以系统性的方式过近似这个蓝色区域,如上面常规绿色区域所示。只要绿色和红色的交集为空,我们就有证据证明程序没有做坏事。然而,如果我们的过近似不够不准确,可能会使得红色区域重叠,即使蓝色和红色区域的交集依旧为空,如下图所示:

这种情况会导致所谓的「误报」,由于分析与真实问题不相应而报告的虚假错误。一般而言,静态分析的圣杯是构造过近似,即 (1)过近似足够准确因此我们在实际中不会获得很误报 (2)过近似的计算足够有效率,因此分析可扩展到我们所关心的现实世界的程序。

附带说明一下,还可以设计静态分析算法来近似如下所示的程序行为:

在此情况下,绿色区域(通过静态分析计算)包含在蓝色区域内(表示实际状态),和另一种方式正好相反。这种分析是不可靠的,意味着可能会漏掉真正的程序错误:正如我们在上图所看到的那样,绿色和红色的交集为空,因此即使程序真的存在漏洞,分析也不会报告问题。这会导致所谓的假阴性,真正的漏洞被静态分析给遗漏了。

大体来说,如果我们想获得可证明的安全性,我们会想要可靠的从来不会有误报的静态分析器,同时还需要足够精确,在实践时不会报告太多误报。然而,好消息是,几十年的正统研究表明设计这样的静态分析器有可能的。下篇博文,我们会更详细地介绍静态分析器具体是如何运作的!

程序分析是一种有效的能够捕捉各种程序中安全漏洞的技术,包括区块链应用程序。此外,可靠的静态分析器的过近似程序行为能确保整个类别中不存在漏洞。

撰文:Veridise

编译:CCC

标签:区块链EOSORCFOR区块链是什么概念股NEOSorc币的挖矿FORT

火币APP下载热门资讯
BAS:Terra离职员工惊爆:Do Kwon是失败稳定币项目Basis Cash的幕后推手

来自 | Coindesk,编译 | PANews由于对 Basis 背后的早期想法很感兴趣,Do Kwon专门委派了一批员工来“复活”了Basecoin,最终打造出了Basis Cash.

1900/1/1 0:00:00
NFT:前5月NFT收藏者向市场发送370亿美元 与去年全年持平

原标题:2022年NFT收藏者向市场发送370亿美元  几乎与2021全年持平今年(截至5月1日),非同质化代币(NFT)的收藏者已经向NFT市场发送了超过370亿美元的价值.

1900/1/1 0:00:00
EFI:Forbes:GameFi会是另一个加密局嘛?

自2017年前后ICO市场的衰落,以及加密货币炒作约两年的冷静期以来,Crypto投资界迎来了回光返照时刻。开发人员和技术企业家创造了新的行业旨在引起投资者的兴趣.

1900/1/1 0:00:00
区块链:区块链技术将会给第三方风险管理带来怎样的变革?

科技管理第三方风险的优势并没有让合规专业人士失去市场。当考虑公司第三方生态系统不断增长的规模、复杂性和地理多样性时,很容易看出原因.

1900/1/1 0:00:00
TER:Terra危机导致与UST相关的DeFi协议下跌80%以上

随着危机蔓延,与Terra相关的项目损失超过80%。与此同时,随着交易者寻找其他去中心化稳定币,Maker (DAI)得到了提振.

1900/1/1 0:00:00
区块链:对于当前加密市场走势 50个KOL这样说

编者按:本文整合自 Twitter 大 V 对当前加密市场行情的观点言论,其中有苦水、有鸡汤、也有强心剂,仅供参考,请各位读者切勿作为交易依据,DYOR(尤其是在极端行情和大幅波动下).

1900/1/1 0:00:00