微软向开源又迈进了一大步:Checked C
2016-06-25 21:00
169 查看
导读 | 微软开源了 Checked C ,这是一个 C 语言的扩展版本,可以用于解决 C 语言中的一系列安全相关的隐患。正如其名字所示,Checked C 为 C 语言增加了检查,这个检查可以帮助开发者检查常见的编程错误,比如缓存区侵占buffer overruns、内存访问越界、不正确的类型转换等。这些编程错误往往是造成许多重大安全漏洞的根本原因,比如破壳漏洞Shellshock、心脏出血漏洞Heartbleed、沙虫Sandworm等。 |
Checked C 通过修改控制指针来解决这些问题,指针被程序员们用来定义他们的代码所操作的内存地址。当指针数量一多,指针控制就往往容易忙中出乱,项目越大跟踪它们就越困难,类似 Chromium、Firefox、Office、OpenSSL 以及其它的大型代码库在这方面都存在这样的问题,你可以从它们的变更日志中看到大量的这类问题修复。“Checked C 允许程序员更好的描述他们想要如何使用指针,以及指针应该指向的内存范围”,微软说,“这个信息可以用于在运行时环境中添加检测,以侦测错误的数据访问,而不是让错误悄悄的发生而无所察觉。”
Checked C 也将允许开发者检测到他们以为 C 语言有、而实际却没有的功能误用。按编程界的说法来讲,这个叫做“边界检查bounds checking”的功能,用于检查变量/指针是否在它的范围之内赋值,C# 和 Rust 已经有这样的功能了,而且还不止于此。然而不幸的是,被广泛使用的 C 和 C++ 却没有这样的功能,微软希望只需要对现有的 C/C++ 程序做最小的改动,利用 Checked C 就可以得到安全方面的改善,这样会吸引大量的开发者开始使用 Checked C。
Checked C 项目已经放到了 GitHub 上。这并不是微软第一次对基本编程语言做出来自己的演绎,之前该公司的程序员们还创建了一个名为 TypeScript 的 JavaScript 的超集,并且它已经得到了广泛认可。
相关文章推荐
- SDUTACM多项式求和
- OpenGL学习笔记3:变换,矩阵,更多对象
- java的离线数据集(RowSet)
- 二叉树的最大路径和与最远结点距离
- JSON 字符串 与 java 对象的转换
- 如何在Cocos2d-x中集成安卓版微信SDK
- Android开机过程
- Library setup
- openjdk卸载
- HashSet 内部实现
- Android 摄像头系统调用
- liunx安装jdk
- CSS Secret——Backgrounds & Borders
- 一段时间只做一件事情
- 设计模式(18)-----备忘录模式
- windows安装mysql
- Roload Iframe
- ThreadPoolExecutor,worker和线程工厂之间理解
- JavaScript --------------继前面继承方式-------总结
- Android基础-canvas paint