C++ 复杂、内存漏洞,2019 年的软件开发并不安全!

640?wx_fmt=gif

在这篇文章中,本文作者会分享自己过去一年中对软件设计和开发现状的一些观察,并试图在 2019 年为自己找到一个有意义的努力方向。

640?wx_fmt=jpeg

作者 | Chris

译者 | 安翔

责编 | 屠敏

出品 | CSDN(ID:CSDNNews)

在过去 7 年半的时间里,我主要从事客户端软件安全性相关工作,本文的观点主要源于这样的工作背景。我不局限在自己的工作领域,我会从行业的角度来探讨更为广泛的趋势。

我希望这篇文章对各种从事安全相关工作的人员都有用:不仅是工程师,还包括用户体验设计师和研究人员、项目经理、产品经理、业务经理以及运营人员。无论如何,所有成功之路都需要所有这些人的帮助。此外,本文提供了很多有用的链接供读者参考。

硬件、软件、平台和生态系统通常过于复杂,我们的许多安全、隐私和滥用问题都源于此。


640?wx_fmt=png

好的方面


加密 Web 正在逐渐盛行!此外,将非安全 Web 标记为不安全,并将安全网站标记为中立的举措正在推行。我们已经对此迅速地进行了改进,且带来巨大的改变,这让我非常震惊。一如既往地感谢 Let's Encrypt,以及其他朝着类似方向努力的浏览器!

虽然内存漏洞仍然普遍存在,但 iOS、Chrome OS 以及 Chrome 都已进行了一些有效的设计(权限降低)和不合理的改进工作(实际上可以进行权限减少工作,寻找 Bug,修复 Bug 和快速部署)。如今,内存损坏的几率要比20世纪90年代或21世纪初低得多。

iOS 的普及率越来越高,即便这完全是用户自发的,这也是人们认识到新鲜事物价值的标志。当然,人们不太可能在安全本身的基础上做出选择。但安全和隐私是 iOS 核心价值的关键部分,我认为肯定有客户会在意这一点。

640?wx_fmt=png

内存安全的编程语言占主导地位。此外,增长最快的语言具备内存安全的特性。一些流行的语言甚至是类型安全。(有些人可能会认为类型安全仅仅是额外福利,但对我来说,typefulness 是软件可靠和安全的关键组成部分)。系统软件也有好消息,此前不安全的 Go 和 Rust 正在改善。虽然 Midori 缺点不少,但它仍然可以教给我们广泛适用的深刻教训。

内存标记是硬件的一种新功能,可以帮助我们解决内存安全问题。人们正致力于在现代系统上实现它。我不认为它是以系统级方式修复 Bug 的替代品,但它在提高安全性方面拥有巨大潜力。

静态检查程序、编译器和动态检查程序(例如 Address Sanitizer 和其他 LLVM )在过去20年中取得了很大进展。曾经的前沿研究如今变成免费提供的编译器。这太棒了!(在 Clang 或 GCC 中加上 -Wall -Werror,我更喜欢使用 -Weverything -Werror -Wno -padded 等扩展)

Chrome正在对扩展平台进行一些结构性改进,这应该可以减少我们在该生态系统中看到的一些最严重的滥用行为

软件行业正在发生道德和伦理上的觉醒:

  • 谷歌员工因公司区别对待女性的行为而举行罢工活动;

  • Google 取消和五角大楼合作的 Maven 项目;

  • 反对亚马逊的“Rekognition”的面部识别工具;

  • 微软员工抗议人工智能战;

  • Time Well Spent;

  • 谷歌放弃 Dragonfly 计划。

对待安全性问题,我们这一代的工程师正在超越“我能建造它,我做到了,后果是什么?”的心态。前几代人必须做出非常相似的选择

(我十分同意所有这些立场,我不会在为战争设计的机器上工作,也不会在 Big Brotherly 审查过的搜索引擎上工作。我愿意为每个人提供平等和公平的待遇而努力。罢工事件是一个好的开始。还接下来还有很长的路要走。)

U2F 的认识和采用的日益增加是一个好消息。(U2F 已被标准化为WebAuthn,它比大多数安全人员预想的复杂得多。)它提供的反网络钓鱼功能至少与 HTTPS 提供的保护一样重要。网络钓鱼和帐户接管一直是我们最大的问题之一,WebAuthn 可以对它们产生很大的影响。基于它,你现在才可以安全访问谷歌、Facebook、Twitter、Dropbox、login.gov 等网站。


640?wx_fmt=png

不好的方面


C++ 仍然及其复杂且非常不安全:

  • 在 C++ 日益复杂的问题上,C++ 的创建者发现自己处于社区的另一端。Stroustrup 正确地将 C++ 日益增加的复杂性视为该语言的潜在致命风险。

  • 新的安全 API 并不安全。 - C\C++ 编译器继续利用未定义的行为,这是不应存在的行为。(John Regehr:“从开发人员的角度来看,一个非常聪明地识别并默默地摧毁 Type 3函数的编译器变得非常邪恶。”)

  • C++ 非常复杂,以至于编程专家都无法找到一种通用的方法来查找静态数组的大小

  • 我不可能选择并链接到无限错误报告的列表,其根本原因是内存不安全。一个有趣的练习是浏览一个很好的漏洞记录来源(Project Zero 是我最爱的博客之一),并计算应用程序中有多少 bug。

当然,如果你发现应用程序存在 bug 或者更多的内存安全漏洞,那也可能是源于研究人员的偏见。但内存损坏 bug 数量众多且经常出现,我觉得这是很大的问题。

设计一种能够实现所有内存安全性、高性能和良好可用性的语言仍然非常困难。Rust 编译器能够发现并拒绝 C 和 C++编译器没有或无法发现又或者有目的地接受的安全错误。这是 Rust 的功劳,但这门学科非常难以学习

在编程语言研究社区中,首先需要证明程序是安全的。这项工作逐渐渗透到人们真正可以用来发送真实软件的语言中。使用学术工具的困难部分是他们的小观众的自然结果,但是一些困难是不可避免的:安全证明意味着你需要真正去证明,这就像人们获得博士学位一样困难。最终,软件工程社区将不得不逐渐且越来越多地致力于满足这一标准。

显然,2018年很多人都熟知了 Spectre&MeltdownForeshadow、L1TF 以及微架构侧通道等概念。共享资源比比皆是。当然,安全问题(通常是由于可怕的复杂性)已经出现了很长一段时间。虽然这些链接主要涉及英特尔架构系统,但没有理由认为 ARM 本质上更安全。特别是,微架构侧通道问题是设计最大性能的自然结果,几乎每个芯片设计师都在尝试这样做,因为这几乎是每个客户都想要的。


640?wx_fmt=png

不祥的方面


滥用(恶意使用合法功能)以比漏洞攻击更多的方式影响更多人的生活。虽然黑客可能会带来令人意想不到的影响,例如以政治影响或大规模数据泄露的形式出现,但是你的朋友和家人感到悲伤的原因更加平淡,而且难以解决:

  • 电话诈骗、技术支持骗局加密货币骗局敲诈勒索

  • 恶意软件、crapware 或人们故意安装的“不需要的软件”。(这些通常列在合法商店中,随硬件的设备驱动程序一起提供,或与边缘软件捆绑在一起。)

  • spouseware 和 stalkerware

正如预言的那样工作证明无法继续工作。未来几十年将带来越来越多的“挑战”,并且所有计算系统都必须相对于所有成本的总和来证明其价值,包括碳和电子废物。我们将无法再将这些视为外部因素。工作证明系统将继续无法显示足够的成本价值,甚至可能成为监管的重点照顾对象。

Web 性能的危机也是类似的情况:巨大的浪费,而不是自限的。在过去,我不得不说,即使性能有限,安全性也是可以承受的。通过减少明显的扩展并实现不那么明显的优化,可以获得性能和安全性,现在可以实现。根本原因与现在一样:太多开发人员不使用与用户群相同的客户端系统,他们不知道他们所承担的网络、内存和 CPU 成本。以前,很难看到这些成本。现在,每个浏览器都有一个非常好的 Dev Tools 控制台,没有理由不使用它。

像 NPM、CPAN 等依赖系统继续让我感到厌恶。它们可能比手动依赖管理更危险,尽管这种做法存在巨大风险,正是因为它们使得项目的依赖变得“容易” - 因此你隐含信任的个人和组织的数量。(并且他们的可信度可能会突然变得更糟。)当语言的标准库存在重大差距时,第三方开发人员将热切地填补这些新的依赖关系,以便(不总是故意)继承。正在努力填补 JavaScript 标准库中的空白,我强烈支持这一点。

社交媒体继续放大人们的坏情绪,社交媒体公司的一些高管仍然是问题的一部分。处理社交媒体的毒性和滥用是需要长期且多方面的努力,但我们可以立即做的一件事就是工程师、总经理、设计师和管理人员要将“参与”作为主要或唯一的“成功”的衡量标准。它具有游戏性,并且无法远程捕捉社交媒体上真人的真实体验。人们的经历往往非常糟糕,我们作为软件开发人员负责处理我们构建的结果。


640?wx_fmt=png

展望未来


我在 2018 年度过了一个愉快的时间,虽然从事低级别的防守(只是众多冒险中的一次),但是有很多工作要做。

不幸的是,我发现最令人烦恼的问题(一般的滥用类别)并不属于我最专业的领域。我深入语言问题:有意义的界面、符合人体工程学和安全的库、内存安全性和类型安全性。但这把我虐得差点得心脏病。

尽管如此,我看到人们确实提供了20年、10年或5年前似乎不可能实现的软件改进。我们真的在取得进步。以下是我想在2019年看到的:

  • 抛弃使用“参与”作为唯一或主要指标的想法。

  • 社会化工程社区的政策思考。是时候穿上我们成年人的衣服了。我们做的事情很重要(否则我们不会这样做,对吗?),这意味着我们需要考虑并处理后果。

  • 全面改善 Web 性能:这需要更大的 JavaScript 标准库;框架的性能改进;工具的改进;客户端改进。

  • 抛弃内存不安全是可以接受的想法,现在开发者可以使用安全的语言发布以前用了不安全语言编写的软件。这并不包括对现有应用程序的直接重写;大多数情况下,我看到的是对组件(如 Servo)分段的就地重写,以及已建立成熟类别的新应用程序(如 Xi 和CrosVM)。新的应用程序也让我们有机会重新思考旧的设计,正如 Xi 所做的那样(其跨平台、客户端/服务器、多前端设计)。

  • 用户体验、语言、库、框架将简化社会化,并在各个层面上消除复杂性。特别是,没有人应该用 C++ 开始一个新项目。

原文:https://noncombatant.org/2019/01/06/state-of-security-2019/

作者简介:Chris,Google Chrome 软件安全工程师。

本文为 CSDN 翻译,如需转载,请注明来源出处。



 热 文 推 荐 

鏖战九载,Google 是否会因 Oracle 而弃用 Java?

程序员该怎么做,才能成为 coding 王者?

年会宣布 996 后,那些保持沉默的人

孟岩:区块链的原则与价值观

☞Spring-Data-JPA尝鲜:快速搭建CRUD+分页后台实例

☞她说:是的,嫁人当嫁程序员!

有赞公开强推 996 制,员工:已拨打市长电话

Python一键转Java?“Google翻译”你别闹

print_r('点个好看吧!');
var_dump('点个好看吧!');
NSLog(@"点个好看吧!");
System.out.println("点个好看吧!");
console.log("点个好看吧!");
print("点个好看吧!");
printf("点个好看吧!\n");
cout << "点个好看吧!" << endl;
Console.WriteLine("点个好看吧!");
fmt.Println("点个好看吧!");
Response.Write("点个好看吧!");
alert("点个好看吧!")
echo "点个好看吧!"

640?wx_fmt=png喜欢就点击“好看”吧!
展开阅读全文

一个并不复杂的问题

05-11

有一个aaa表,如:rnrnbh b1 b2 b3 b4rn1 12345 12341 null nullrn2 12344 12345 null nullrn3 12345 12342 null nullrn4 12343 12345 null nullrn5 12345 12343 null nullrn6 12345 12344 null nullrn7 12344 12343 null nullrn8 12344 12321 null nullrn9 12312 12322 null nullrn10 12345 12323 null nullrn11 12321 12344 null nullrn12 12121 12212 null nullrn13 12323 12312 null nullrnrnb1、b2列可存在相同的数据,要在b1列中找出不同的数据,且要求在b1、b2列数据相同的情况下,在先出现的数据行的b3、b4列分别标上‘1’和bh列的号码,其余b1、b2列中相同的数据在b4列上标上bh列的号码。 可用下面存储过程实现。 rnCREATE proc cxrnasrndeclare @sz int,@aa intrnset @sz=1rnselect @aa=count(*) from aaarnwhile @sz<=@aarnbeginrnif exists (select b1 from aaa where bh=@sz and b3 is null and b4 is null)rnbeginrnupdate aaa set b3=1 where bh=@szrnupdate aaa set b4=@sz where b1=(select b1 from aaa where bh=@sz) and b4 is null or b2=(select b1 from aaa where bh=@sz) and b4 is nullrnendrnselect @sz=@sz+1rnendrnreturnrnrn得到结果如下:rnrnbh b1 b2 b3 b4rn1 12345 12341 1 lrn2 12344 12345 null 1rn3 12345 12342 null 1 rn4 12343 12345 null 1 rn5 12345 12343 null 1rn6 12345 12344 null 1rn7 12344 12343 1 7rn8 12344 12321 null 7rn9 12312 12322 1 9rn10 12345 12323 null 1rn11 12321 12344 null 7rn12 12121 12212 1 12rn13 12323 12312 null 9rnrn问题是在数据量很大时,用while循环逐个查找,挺费时的。有没有更好的方法实现上述要求。rn rn 论坛

没有更多推荐了,返回首页