用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 > 首页 > 公式、表格、符号、图形细览

嵌入汇编程序的过程必须是纯汇编程序

标准号:GJB 5369-2005   标准名称:航天型号软件C语言安全子集       2005-04-11

同源图形

-个过程名禁止被重用
标号名禁止被重用
标号名禁止被重用
禁止在结构体定义中含
禁止声明多重标号
参数必须使用类型声明
在过程声明中必须对参
禁止过程参数只有类型
禁止在过程参数表中使
禁止重新定义使用 C
禁止过程或函数中的参
禁止定义不象函数的宏
禁止在宏中包含不允许
禁止重新定义保留字
字符型变量必须明确定
禁止对-个名字重新定
禁止对-个名字重新定
用 typedef 自定义的
禁止数组没有边界限定
禁止在#include<……>
禁止在#include<……>
禁止结构体声明不完整
禁止参数的声明形式上
推荐类
避免将过程定义为参数
过程中避免使用过多的
在结构体定义中谨慎使
避免在-个程序块中单
避免在-个程序块中单
谨慎使用#pragma
谨慎使用联合(union)
谨慎使用联合(union)
在结构体中谨慎使用无
循环体必须用大括号括
then/else 中的语句必
then/else 中的语句必
逻辑表达式的连接必须
禁止在头文件前有可执
宏参数必须用括号括起
禁止字符串中单独使用
main 必须定义为 int
禁止条件判别成立时相
在 if…else if 语句
禁止条件判别的 else
在 switch 语句中必须
禁止使用空 switch 语
禁止 switch 语句中只
禁止 switch 语句中只
禁止 switch 的 case
禁止 switch 的 case
禁止 switch 的 case
禁止将参数指针赋值给
禁止指针的指针超过两
禁止将过程声明为指针
谨慎使用指针的逻辑比
谨慎对指针进行代数运
禁止直接从过程中跳出
禁止直接从过程中跳出
禁止使用 goto 语句
避免使用 setjmp/long
禁止在非赋值表达式中
禁止在非赋值表达式中
数组的使用必须保证不
禁止对有符号类型进行
对变量进行移位运算必
禁止给无符号变量赋负
有符号类型的位长度必
位的定义必须是有符号
禁止给变量赋的值与变
赋值类型必须匹配
数组下标必须是整型数
禁止对常数值做逻辑非
禁止对有符号类型使用
禁止对有符号类型使用
禁止对枚举类型的越限
禁止在逻辑表达式中使
禁止赋值操作符与“&&
禁止赋值操作符与“&&
禁止位操作符带有布尔
禁止位操作符作用于布
避免使用逗号操作符
谨防长度操作符 sizeo
谨慎使用不同类型变量
避免由于设计的原因导
避免由于设计的原因导
实参与形参的个数必须
主过程所在文件中禁止
static 类型的过程在
在不能使用 extern 的
禁止同-个表达式中调
禁止同-个表达式中调
禁止 void 类型的过程
禁止 void 类型的变量
禁止实参和形参类型不
函数和原型参数类型必
避免以非调用方式使用
避免以非调用方式使用
谨慎使用 abort,exit
禁止单独使用小写字母
禁止三字母词的使用

相关图形

程序表
GJB 33.4-87
半导体分立器件详细规
程序 I 试验曲线
GJB 595.8-88
炮兵光学仪器环境试验
程序Ⅱ试验曲线
GJB 595.8-88
炮兵光学仪器环境试验
程序III试验曲线
GJB 595.8-88
炮兵光学仪器环境试验
检验程序
GJB 2003-94
针刺雷管通用规范
直母线部件理论模线设
HB/Z 13-89
指导性技术文件模线设
熔炼和成材过程中影响
HB/Z 154-89
航空用钢及高温合金熔
标引工作选词程序圈
HB 6588-92
航空工业档案主题标引
最基本无线信令通信协
GJB 3084-97
无线双工移动通信系统
风险评价过程
GJB/Z 99-97
系统安全工程手册