T-SwIm-P安全软件实现概述I1.ppt

MISRAC规则–指针类型转换T-SwIm-P安全软件实现MISRAC规则–表达式（1）T-SwIm-P安全软件实现MISRAC规则–表达式（2）T-SwIm-P安全软件实现MISRAC规则–控制表达式（1）T-SwIm-P安全软件实现MISRAC规则–控制表达式（2）T-SwIm-P安全软件实现MISRAC规则–控制流（1）T-SwIm-P安全软件实现MISRAC规则–控制流（2）T-SwIm-P安全软件实现MISRAC规则–控制流（3）T-SwIm-P安全软件实现MISRAC规则–Switch语句T-SwIm-P安全软件实现MISRAC规则–函数（1）T-SwIm-P安全软件实现MISRAC规则–函数（2）T-SwIm-P安全软件实现MISRAC规则–指针和数组T-SwIm-P安全软件实现MISRAC规则–结构体和联合体T-SwIm-P安全软件实现MISRAC规则–预处理指令（1）T-SwIm-P安全软件实现MISRAC规则–预处理指令（2）T-SwIm-P安全软件实现MISRAC规则–预处理指令（3）T-SwIm-P安全软件实现MISRAC规则–标准库（1）T-SwIm-P安全软件实现MISRAC规则–标准库（2）T-SwIm-P安全软件实现MISRAC规则–标准库（3）T-SwIm-P安全软件实现MISRAC规则–运行失败T-SwIm-P安全软件实现课程总结软件设计策略：共5种模块化方法基于组件设计信息隐藏／封装限制参数个数完整接口定义软件实现策略软件模块化方法编程语言的选择编程方法的选择编程规范的使用T-SwAr-P安全软件架构设计Anyquestions?*C/C++语言基本数据类型char长度为1个目标机器字节实际长度可以是8/16位int长度为1个目标机器字实际长度可以是32位（4个字节）或64位（8个字节）float/double长度受制于目标机器，实际长度可为4/8字节short/long/signed/unsigned可能跟int一样，也可能不一样，视乎目标机器C++在这方面保证了sizeof(short)=sizeof(int)=sizeof(long)，但不能保证每个类型的确切长度T-SwIm-P安全软件实现C/C++语言（续）构造数据类型数组类型：对于任何数据类型T，T[]就是相应数据类型T的一个数组结构类型：struct关键词+结构名{结构成员列表}一个结构变量的总长度是各成员长度之和联合类型：union关键词+联合名{联合成员列表}一个联合变量的长度等于各成员中最长的长度列举类型：就是整数类型intC++有单独这样的类型定义C++是加入了类(Class)机制来代替原来C的结构类型和联合类型改善了数据访问和类型安全T-SwIm-P安全软件实现C/C++语言（续）指针类型对于任何数据类型T，T*是指向该类型T的数值的指针void*代表了类型不明的指针，C语言对由void*转换成其他类型指针是不会进行检查C++提供了模板(template)机制来实现类型参数化，把类型定义为参数，以对类型参数进行检查，因而减少了指针类型转换时的风险T-SwIm-P安全软件实现structpoint_tq={5,6};/*Directpoint_tvalue*/structpoint_t*p=q;/*Pointertoq*/intx_coord=(*p).x;/*Dereference/accessofp*/inty_coord=p-y;/*Sugarforfieldaccessthroughstructpointers*/structpoint_tr={7,8};(*p)=r;/*Assignmentthroughpointer;updatesp*/C/C++语言（续）类型转换强制类型转换cast任何数据类型都可以使用(type)进行强制性转换跟Java不同，C的cast并没有动态检查类型转换的合理性：如果转换数值不兼容，编译器将会“尽最大努力”按照新类型的内存要求去重新解释数值C语言的cast机制可使恶意的指令（如病毒）写到特定的内存地址，在程序运行时执行C++提供了额外的cast