C安全編碼標(biāo)準(zhǔn)

關(guān)于作者
前言
第1章 本標(biāo)準(zhǔn)使用說明
系統(tǒng)質(zhì)量一
自動生成的代碼
順應(yīng)性
第2章 預(yù)處理器(PRE)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
PRE00-C．用內(nèi)聯(lián)函數(shù)或靜態(tài)函數(shù)代替與函數(shù)相似的宏
PRE01-C．在宏參數(shù)名兩邊加上括號
PRE02-C．宏替換列表應(yīng)該加上括號
PRE03-C．應(yīng)該使用typedef定義編碼類型
PRE04-C．不要復(fù)用標(biāo)準(zhǔn)頭文件名
PRE05-C．理解連接標(biāo)記或執(zhí)行字符串化時的宏替換
PRE06-C．把頭文件放在包含防護(hù)條件中
PRE07-C．避免使用連續(xù)的問號
PRE08-C．保證頭文件名惟
PRE09-C．不要用不安全的函數(shù)替換安全函數(shù)
PRE10-C．在一個do-while循環(huán)中包裝多條語句的宏
PRE30-C．不要通過連接創(chuàng)建統(tǒng)一字符名稱一
PRE31-C．不要在不安全宏的參數(shù)中包含賦值、增值、減值、volatile訪問或函數(shù)調(diào)用
第3章 聲明和初始化(DCL)
建議和規(guī)則
風(fēng)險評估匯總
DcL00-C．用const限定不可修改的對象
DcL01-C．不要在子作用域中復(fù)用變量名
DcL02-C．使用視覺區(qū)別明顯的標(biāo)識符
DcL03-C．使用靜態(tài)斷言測試常量表達(dá)式的值
DcL04-C．不要在一個聲明中聲明超過1個的變量
DCID5-C．使用typedef。聲明提高代碼的可讀性
DCI06-C．使用有意義的符號常量表示程序邏輯中的字面值
DCI07-C．在函數(shù)聲明器中包含適當(dāng)?shù)念愋托畔?br />DCID8-C．在常量定義中對關(guān)系進(jìn)行正確的編碼
DCI09-C．把返回errno錯誤代碼的函數(shù)的返回類型聲明為errmo-t
DCL10-C．維護(hù)變參函數(shù)的編寫者和調(diào)用者之間的契約
DCL11-C．理解與變參函數(shù)相關(guān)聯(lián)的類型問題
DCL12-C．使用不透明類型實(shí)現(xiàn)抽象數(shù)據(jù)類型
DCL13-C．把不會被函數(shù)修改的值指針參數(shù)聲明為const
DCL-14．不要對跨翻譯單元的全局變量的初始化順序作出假設(shè)
DCL15-C．把不需要外部鏈接的對象聲明為static
DCL30-C．聲明具有正確存儲持久期的對象
DCL31-C．在使用標(biāo)識符之前聲明它們
DCL32-C．保證相互可見的標(biāo)識符是惟一的
DCL33-C．保證函數(shù)實(shí)參中具有限制性限定的源指針和目標(biāo)指針不引用重疊的對象
DCL34-C．對無法緩存的數(shù)據(jù)使用volatile
DCL35-C．不要使用與函數(shù)定義不匹配的類型轉(zhuǎn)換函數(shù)DC136-C．不要聲明具有沖突鏈接屬性的標(biāo)識符
第4章 表達(dá)式(EXP)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)的規(guī)則和建議
EXP00-C．使用括號保證操作的優(yōu)先級
EXP01-C．不要用指針的長度確定它所指向類型的長度
EXP02-C．注意邏輯AND和OR操作符的短路行為
EXP03-C．不要認(rèn)為結(jié)構(gòu)的長度等于它的各個成員的長度之和·
EXP04-C．不要在結(jié)構(gòu)之間執(zhí)行逐字節(jié)的比較
EXP05-C．不要轉(zhuǎn)換掉eonst限定
EXP06-C．sizeof操作符的操作數(shù)不應(yīng)該包含副作用
EXP07-C．不要在表達(dá)式中對常量的值作出假設(shè)而削弱常量的優(yōu)點(diǎn)
EXP08-C．確保正確地使用指針運(yùn)算
EXP09-C．使用sizeof確定類型或變量的長度
EXP10-C．不要依賴子表達(dá)式的求值順序或副作用的發(fā)生順序
EXP11-C．不要把期待一種類型的操作符應(yīng)用于一種不兼容的類型
EXP12-C．不要忽略函數(shù)的返回值
EXP30-C．不要依賴序列點(diǎn)之間的求值順序
EXP31-C．避免斷言的副作用
EXP32-C．不要轉(zhuǎn)換掉volatile限定
EXP33-C．不要引用未初始化的內(nèi)存
EXP34-C．保證不對null指針進(jìn)行解引用
EXP35-C．不要在后續(xù)的序列點(diǎn)之后訪問或
修改一個函數(shù)的調(diào)用結(jié)果中的數(shù)組
EXP36-C．不要把指針轉(zhuǎn)換為對齊要求更嚴(yán)格的指針類型
EXP37-C．調(diào)用函數(shù)時使用API所指定的參數(shù)
EXP38-C．不要在位段成員或非法類型上調(diào)用offsetof()
第5章 整數(shù)(INT)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)的規(guī)則和建議
INT00-C．理解編譯器所使用的數(shù)據(jù)模型
INT01-C．使用rsize-t或size-t類型表示所有表示對象長度的整數(shù)值
INT02-C．理解整數(shù)轉(zhuǎn)換規(guī)則
INT03-C．使用安全的整數(shù)庫
INT04-C．對來自不信任來源的整數(shù)值實(shí)行限制
INT05-C．如果輸入函數(shù)無法處理所有可能出現(xiàn)的錯誤就不要用它們轉(zhuǎn)換字符數(shù)據(jù)
INT06-C．使用strtol()或相關(guān)函數(shù)把字符串標(biāo)記轉(zhuǎn)換為整數(shù)
INT07-C．只使用顯式的有符號或無符號char類型表示數(shù)值
INT08-C．驗(yàn)證所有的整數(shù)值位于范圍內(nèi)
INT09-C．保證枚舉常量映射到惟的值
INT10-C．使用％操作符時不要假設(shè)余數(shù)總是正的
INT11-C．把指針轉(zhuǎn)換為整數(shù)或者把整數(shù)轉(zhuǎn)換為指針時需要小心
INT12-C．當(dāng)普通的整數(shù)位段用于表達(dá)式不要對它的類型作出假設(shè)
INT13-C．只對無符號操作數(shù)使用位操作符
INT14-C．避免在同一個數(shù)據(jù)上執(zhí)行位操作和算術(shù)運(yùn)算
INT15-C．在程序員定義的整數(shù)類型的格式化L／O中使用intmax-t或uintmax-t
INT30-C．保證無符號整數(shù)運(yùn)算不產(chǎn)生回繞
INT31-C．保證整型轉(zhuǎn)換不會丟失或錯誤解第數(shù)據(jù)
INT32-C．保證有符號整數(shù)運(yùn)算不會產(chǎn)生溢出
INT33-C．保證除法和求模運(yùn)算不會導(dǎo)致除零錯誤
INT34-C．移位的數(shù)量不能是負(fù)數(shù)或大于操作數(shù)的位數(shù)
INT35-C．把整型表達(dá)式比較或賦值為一種較大類型之前用這種較大類型對它進(jìn)行求值
第6章 浮點(diǎn)數(shù)(FCP)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
FLP00-C．理解浮點(diǎn)數(shù)的限制
FLP01-C．在重新排列浮點(diǎn)表達(dá)式時需要注意
FLP02-C．需要精確計(jì)算時避免使用浮點(diǎn)數(shù)
FLP03-C．檢測和處理浮點(diǎn)錯誤
FLP30-C．不要使用浮點(diǎn)數(shù)作為循環(huán)計(jì)數(shù)器
FLP31-C．不要用復(fù)數(shù)調(diào)用期望接受實(shí)數(shù)的函數(shù)
FLP32-C．防止或檢測數(shù)學(xué)函數(shù)中的定義域錯誤和值域錯誤
FLP33-C．執(zhí)行浮點(diǎn)運(yùn)算時把整數(shù)轉(zhuǎn)換為浮點(diǎn)數(shù)
FLP34-C．保證浮點(diǎn)轉(zhuǎn)換位于新類型的范圍之內(nèi)
第7章 數(shù)組(ARR)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
ARR00-C．理解數(shù)組的工作方式
ARR01-C．獲取數(shù)組的長度時不要對指針應(yīng)用sizeof操作符
ARR02-C．顯式地指定數(shù)組的邊界，即使它已經(jīng)由初始化佰列表隱式地指定
ARR30-C．保證數(shù)組索引位于合法的范圍之內(nèi)
ARR31-C．在所有源文件中使用一致的數(shù)組記法
ARR32-C．保證變長數(shù)組的長度參數(shù)位于合法范圍之內(nèi)
ARR33-C．保證復(fù)制的目標(biāo)具有足夠的存儲空間
ARR34-C．保證表達(dá)式中的數(shù)組類型是兼容的
ARR35-C．不允許循環(huán)迭代到數(shù)組尾部之后
ARR36-C．不要對兩個并不指向同一個數(shù)組的指針進(jìn)行相減或比較
ARR37-C．不要把一個指向非數(shù)組對象的指針加上或減去一個整數(shù)
ARR38-C．如果結(jié)果值并不引用合法的數(shù)組元素，不要把指針加上或減去一個整數(shù)
第8章 字符和字符串(STR)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
STR00-C．使用適合的類型表示字符
STR01-C．采納和實(shí)現(xiàn)一致的字符串管理計(jì)劃
STR02-C．對傳遞給復(fù)雜子系統(tǒng)的字符串?dāng)?shù)據(jù)進(jìn)行凈化
sTR03-C．不要意外地截?cái)鄋ull結(jié)尾的字節(jié)字符串
sTR04-C．使用普通char類型表示基本字符集中的字符
STR05-C．引用字符串常量時使用const指針
STR06-C．不要以為stl"tok()會使解析的字符串不被修改
STR07-C．使用TR2473l修正現(xiàn)在的字符串操縱代碼
STR08-C．使用托管字符串開發(fā)新的字符串操縱代碼
STR30-C．不要試圖修改字符串常量
STR31-C．保證字符串的存儲具有足夠的空間容納字符數(shù)據(jù)和null結(jié)尾符
STR32-C．根據(jù)需要將字符串用null結(jié)尾
STR33-C．正確地判斷寬字符串的長度
STR34-C．在轉(zhuǎn)換為更大的整型長度時把字符轉(zhuǎn)換為無符號類型
STR35-C．不要把未檢查邊界來源的數(shù)據(jù)復(fù)制到固定長度的數(shù)組
STR36-C．不要指定用字符串常量初始化的字符數(shù)組的邊界
STR37-C．字符處理函數(shù)的參數(shù)必須能夠用unsignedchar表示
第9章 內(nèi)存管理(MEM)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
MEM00-C．在同一個模塊、同一個抽象層中分配和釋放內(nèi)存
MEM01-C．在free()之后立即在指針中存儲一個新值
MEM02-C．把內(nèi)存分配函數(shù)的調(diào)用結(jié)果立即轉(zhuǎn)換為指向被分配類型的指針
MEM03-C．及時清除存儲在可復(fù)用資源中的敏感信息
MEM04-C．不要執(zhí)行零長度的分配
MEM05-C．避免大型的堆棧分配
MEM06-C．保證敏感數(shù)據(jù)不會被寫入到磁盤
MEM07-C．保證calloc()的參數(shù)相乘后可以用size-t表示
MEM08-C．只把realloc()用于改變動態(tài)分配數(shù)組的大小
MEM09-C．不要假設(shè)內(nèi)存分配函數(shù)會對內(nèi)存進(jìn)行初始化
MEM10-C．定義和使用指針驗(yàn)證函數(shù)
MEM30-C．不要訪問已經(jīng)被釋放的內(nèi)存
MEM31-C．動態(tài)分配的內(nèi)存只應(yīng)釋放一次
MEM32-C．檢測和處理內(nèi)存分配錯誤
MEM33-C．使用正確的語法表示靈活數(shù)組成員
MEM34-C．只釋放動態(tài)分配的內(nèi)存
MEM35-C．為對象分配足夠的內(nèi)存
第10章 輸入／輸出(FL0)
建議和規(guī)則
風(fēng)險評估匯總
相關(guān)規(guī)則和建議
FI000-C．在創(chuàng)建格式字符串時應(yīng)該小心
F1001-C．調(diào)用通過文件名標(biāo)識文件的函數(shù)時必須小心
F1002-C．對來自不信任來源的路徑名進(jìn)行標(biāo)準(zhǔn)化
FI003-C．不要對。fopen()和文件的創(chuàng)建作出假設(shè)
FI004-C．檢測和處理輸入和輸出錯誤
FI005-C．使用多個文件屬性標(biāo)識文件
FI006-C．創(chuàng)建具有正確訪問權(quán)限的文件
FI007-C．用fseek()代替rewind()
FI008-C．在打開的文件上調(diào)用：remove()時應(yīng)該小心
FI009-C．跨系統(tǒng)傳輸二進(jìn)制數(shù)據(jù)時應(yīng)該小心
FI010-C．使用rename()函數(shù)時應(yīng)該小心
FI011-C．指定fopen()的mode參數(shù)時應(yīng)該小心
FI012-C．使用setvbuf()代替setbuf()
FI013-C．不要壓回多于1個的字符
FI014-C．理解文件流的文本模式和二進(jìn)制模式的區(qū)別
F1015-C．保證文件操作在安全目錄中執(zhí)行
F1016-C．通過創(chuàng)建jail限制對文件的訪問
F1030-C．排除格式字符串中的用戶
……
第11章　環(huán)境
第12章　信號
第13章　錯誤處理
第14章　其他
附錄