最短的崩溃程序(C语言版)
想写个崩溃的C语言小程序,看起来是个奇怪的主意,不过在我曾经教过的一门实验课上,这是作业之一!实际上,这是一件非常有教学意义的事情。
通常学生们要么尝试反向引用一个非法地址,要么就是除0.除0会引发SIGFPE信号(浮点异常)。这里有一个小例子程序,使用除零方法来使之崩溃:
- int main()
- {
- return 1/0;
- }
我们也可以删掉return关键字,但是当我这么做的时候gcc不会为这些语句生成可执行代码,即便优化选项被disable掉了。我们还可以通过把上面的语句改成赋值语句,使上面的代码改变一些特征:
- i;
- int main()
- {
- i=1/0;
- }
注意我声明了一个没有类型的i。这样的代码在C89标准里是有效的,因为所有的声明都有隐形的缺省类型int。在C99和其他一些C标准里这是一个错误。假定我们写的是C89代码,那么我们甚至可以使用隐形int来声明main函数:
- i;
- main()
- {
- i=1/0;
- }
那是相当短的代码了 — 如果我们不把用于缩进的空格计算进来,只有16个字符。然而,我们还可以做得更好!
当C程序在编译的时候,编译器会产生一个或更多对象文件,文件里有对于用到的库和全程对象(函数和变量)的符号索引。然后这些对象文件会被进行链接,这时符号索引被地址所代替,就产生了一个可执行文件。
编译器在一个对象文件里提供了一个调用main函数的入口点。调用main函数意味着我们试图执行在存储在main函数链接的位置所对应地址里的指令。
有趣的是,链接器对于不同对象的类型是没有概念的,它只知道它们的地址。所以,如果我们用一个常规的全程变量替换main函数,编译器会高兴地build对象文件,因为它不关心对象main的类型是什么;链接器也会高兴地链接它,因为它只关心main函数对应的地址。
所以,考虑这个C程序:
- int main=0;
这个程序会编译成一个可执行文件,它会试图调用地址0,而0并不是我们能够访问的地址,这样我们会得到SIGSEGV信号(分段错误)。
更正:我前面关于这个程序崩溃的原因分析是错的。这个程序会试图按函数方式去执行main,而这样不会奏效,因为编译器把它放到了不可执行的数据段。所以变量main初始化为什么值都无所谓了。(感谢Zack的纠正)
现在我们已经非常接近最小的崩溃的C程序了。我们可以利用这个技巧,配合隐形int类型,来把它进一步缩短。
- main=0;
还有,C里的全局变量都会隐形地初始化为0,所以上面的代码就等同于:
- main;
好了,现在我们得到了最短的崩溃的C程序!
补充:
Hacker News用户femto指出,编译和链接一个空文件也是可能的。我没有发布这个是因为gcc会拒绝编译和链接这样的程序,它会要求分开编译和链接的过程。
另外,要是我们再学究一点,我应该指出我这里的“全局”变量意思是说“静态”变量。
英文原文:llbit.se
相关文章
- 使用 Json Web Token (JWT) 对 Open Distro for Elasticsearch 和 Kibana 进行身份验证
- 为新的 EBS 卷选择默认加密
- 在 Kubernetes 上运行 Open Distro for Elasticsearch
- 新内容 – 更新了 AWS Config 规则的按实际使用量付费定价模式
- 自己构建:现已推出Open Distro for Elasticsearch 构建脚本
- AWS云上混沌工程实践之对照实验设计篇
- 使用Amazon WorkDocs, WorkMail以及WorkSpaces实现统一,安全,灵活的企业内容协作
- 轻松使用 Serverless 架构实现微信公众号后台开发
- 了解 AWS 服务和解决方案 — AWS 5 月在线技术讲座
- SAP on AWS 更新 – 客户案例研究、纵向扩展、横向扩展等
- 中国内容分发服务已经推出! Amazon CloudFront 宣布在中国大陆推出新的 CDN
- Deadline 使用 SPOT Event Plugin 开启低成本渲染农场
- 使用 Amazon CloudWatch Events 构建无服务器管道
- Open Distro for Elasticsearch 0.9.0 现已推出
- 全新 – Amazon S3 批量操作
- 使用 AWS Transit Gateway & Direct Connect 集中和简化网络连接
- 新用途 – Amazon Managed Blockchain – 创建 & 管理可扩展的区块链网络
- AWS DeepRacer League 虚拟赛道现已开放,立即训练您的模型吧!
- 现已推出 – 适用于紧密耦合的 HPC 工作负载的 Elastic Fabric Adapter (EFA)
- Open Distro for Elasticsearch 的 LDAP 集成