ISO/IEC TS 17961
8
© ISO/IEC 2012 – All rights reserved
for (; head != NULL; head = head->next) { // diagnostic required
free(head);
}
}
EXAMPLE 2 In this noncompliant example, a diagnostic is required because buf is written to after it has been freed.
int main(int argc, char *argv[]) {
if (argc < 2) {
/* ... */
}
char *return_val = 0;
const size_t bufsize = strlen(argv[1]) + 1;
char *buf = (char *)malloc(bufsize);
if (!buf) {
/* ... */
}
/* ... */
free(buf);
/* ... */
return_val = strncpy(buf, argv[1], bufsize); // diagnostic required
if (return_val) {
/* ... */
}
return EXIT_SUCCESS;
}
EXAMPLE 3 In this noncompliant example, a diagnostic is required because realloc may free c_str1 when it returns
NULL, resulting in c_str1 being freed twice.
void f(char * c_str1, size_t size) {
char * c_str2 = (char *)realloc(c_str1, size);
if (c_str2 == NULL) {
free(c_str1); // diagnostic required
return;
}
}
5.3 Accessing shared objects in signal handlers [accsig]
Rule
Accessing values of objects that are neither lock-free atomic objects nor of type volatile sig_atomic_t
in a signal handler shall be diagnosed.
Rationale
C identifies the situation in which undefined behavior arises as a result of accessing a static storage duration
object without the correct characteristics:
UB
Description
132
A signal occurs other than as the result of calling the abort or raise function, and the signal handler refers to an
object with static storage duration other than by assigning a value to an object declared as volatile
sig_atomic_t, or calls any function in the standard library other than the abort function, the _Exit function,
or the signal function (for the same signal number) (7.14.1.1).
剩余95页未读，继续阅读
小小飞侠x
- 粉丝: 0
- 资源: 3
我的内容管理
展开
最新资源
- zlib-1.2.12压缩包解析与技术要点
- 微信小程序滑动选项卡源码模版发布
- Unity虚拟人物唇同步插件Oculus Lipsync介绍
- Nginx 1.18.0版本WinSW自动安装与管理指南
- Java Swing和JDBC实现的ATM系统源码解析
- 掌握Spark Streaming与Maven集成的分布式大数据处理
- 深入学习推荐系统：教程、案例与项目实践
- Web开发者必备的取色工具软件介绍
- C语言实现李春葆数据结构实验程序
- 超市管理系统开发：asp+SQL Server 2005实战
- Redis伪集群搭建教程与实践
- 掌握网络活动细节：Wireshark v3.6.3网络嗅探工具详解
- 全面掌握美赛：建模、分析与编程实现教程
- Java图书馆系统完整项目源码及SQL文件解析
- PCtoLCD2002软件：高效图片和字符取模转换
- Java开发的体育赛事在线购票系统源码分析
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
