AUTOSAR CountdownAdvent Calendar 2022

CERT C++(103)入門(1) Rule 01. Declarations and Initialization (DCL) coding(32)

Last updated at 2024-10-27Posted at 2018-03-21

CERT CPP

CERT CPPを道具としてうまく使いこなせるようになるまでの道を記述します。
CERT CPP
https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=88046682
は、Security用のC++言語コーディング標準です。
MISRA C++などのコーディング標準、道具類、規格類をまとめて、実践的に対応しています。
CERT CPPは、頻繁に構造が変わることがあリます。ここに記載したURLは、2018年3月22日（水）現在のものです。URLが繋がらなければ、見出しの文字で検索してください。
現在、11分類です。QiitaのURLは現在作業しているものdす。

Rule 01. Declarations and Initialization (DCL)

Rule 02. Expressions (EXP)

Rule 03. Integers (INT)

Rule 04. Containers (CTR)

Rule 05. Characters and Strings (STR)

Rule 06. Memory Management (MEM)

Rule 07. Input Output (FIO)

Rule 08. Exceptions and Error Handling (ERR)

Rule 09. Object Oriented Programming (OOP)

Rule 10. Concurrency (CON)

Rule 49. Miscellaneous (MSC)

Rule 01. Declarations and Initialization (DCL)

DCL50-CPP. Do not define a C-style variadic function

dcl50非適合例

dcl50n.cpp

// (c)CERT C++
// Rule 01. Declarations and Initialization (DCL)
// DCL50-CPP. Do not define a C-style variadic function
// https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=88046682
// Non Compliant Example: dcl50n.cpp
// Compile: Dr. Kiyoshi Ogawa
// tool: clang version 6.0.0 (tags/RELEASE_600/final)
//       g++-7 (Homebrew GCC 7.3.0_1) 7.3.0
// command: ./certcpp.sh dlc50n
#include <stdio.h>
#include <cstdarg>
 
int add(int first, int second, ...) {
  int r = first + second; 
  va_list va;
  va_start(va, second);
  while (int v = va_arg(va, int)) {
    r += v;
  }
  va_end(va);
  return r;
}  
 
int main(int argc, char**argv) {
  int i=1;
  i=add(argc, i);
  printf("%d \n",i);
  return argc;
}

$./certcpp.sh dlc50n
clang++ dlc50n.cpp
In file included from dlc50n.cpp:1:
/usr/local/Cellar/llvm/5.0.1/include/c++/v1/stdio.h:108:15: fatal error: 'stdio.h' file not found
#include_next <stdio.h>
              ^~~~~~~~~
1 error generated.
./certcpp.sh: line 4: ./dlc50nl: No such file or directory
g++-7 dlc50n.cpp
-478885725

CじゃなくC++。stdio.hはC

dcl50n2.cpp

// (c)CERT C++
#define Rule "Rule 01. Declarations and Initialization (DCL)"
#define SubRule  "DCL50-CPP. Do not define a C-style variadic function"
// https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=88046682
// Non Compliant Example: dcl50n2.cpp(rewriting of dcl50n.cpp)
// Compile: Dr. Kiyoshi Ogawa
// Tool: clang version 6.0.0 (tags/RELEASE_600/final)
//       g++-7 (Homebrew GCC 7.3.0_1) 7.3.0
// Command: ./certcpp.sh dlc50n2
#include <iostream>
#include <cstdarg>
 
int add(int first, int second, ...) {
  int r = first + second; 
  va_list va;
  va_start(va, second);
  while (int v = va_arg(va, int)) {
    r += v;
  }
  va_end(va);
  return r;
}  
 
int main(int argc, char**argv) {
  int i=1;
  i=add(argc, i);
  std::cout << i << std::endl;
  std::cout << Rule << std::endl << SubRule << std::endl;
  return argc;
}

使ったシェルスクリプトは
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da

./certcpp.sh dcl50n
clang++ dcl50n.cpp
In file included from dlc50n.cpp:1:
In file included from /usr/local/Cellar/llvm/6.0.0/include/c++/v1/iostream:38:
In file included from /usr/local/Cellar/llvm/6.0.0/include/c++/v1/ios:215:
In file included from /usr/local/Cellar/llvm/6.0.0/include/c++/v1/iosfwd:90:
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/wchar.h:119:15: fatal error: 'wchar.h' file not found
#include_next <wchar.h>
              ^~~~~~~~~
1 error generated.
./certcpp.sh: line 4: ./dlc50nl: No such file or directory
g+-6 dlc50n.cpp
-436418389

'wchar.h' file not found で困った clang++ macOS
https://qiita.com/kaizen_nagoya/items/de15cd46d657517fac11
上記でエラーを解消した。

$ ./certcpp.sh dcl50n2
clang++ dcl50n2.cpp
-998144006
Rule 01. Declarations and Initialization (DCL)
DCL50-CPP. Do not define a C-style variadic function
g++-7 dcl50n2.cpp
-471100309
Rule 01. Declarations and Initialization (DCL)
DCL50-CPP. Do not define a C-style variadic function

参考文献

全体を一つのファイルでコンパイルしようとした例はこちら。
DCL50-CPP. Do not define a C-style variadic function
https://researchmap.jp/jog1j55sp-1797580/#_1797580

C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9

MISRA C まとめ #include
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9

[C][C++]の国際規格案の例題をコンパイルするときの課題７つ。
https://qiita.com/kaizen_nagoya/items/5f4b155030259497c4de

SWESTまとめ　C言語規格の断片をコンパイルすることの重要性はSWESTでもなんども推奨している。
https://qiita.com/kaizen_nagoya/items/62e56ae151554d6200c0

プログラミング言語が設計書である３つの理由
https://qiita.com/kaizen_nagoya/items/34daa0403eaca5e8b5a6

CERT C++ Secure Coding Guidelines, By David Svoboda
https://insights.sei.cmu.edu/sei_blog/2017/04/cert-c-secure-coding-guidelines.html

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding Rules(0) C Secure , MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

docker(0) 資料集
https://qiita.com/kaizen_nagoya/items/45699eefd62677f69c1d

Qiita-dockerお宝鑑定団
https://qiita.com/kaizen_nagoya/items/509e125263559b5aed5b

The C++ Standard Library: clang++とg++でコンパイルしてみた(まとめ):14件
https://qiita.com/kaizen_nagoya/items/9bdfaa392443d13e5759

C++17 - The Complete Guide clang++とg++でコンパイルしてみた(まとめ):4件
https://qiita.com/kaizen_nagoya/items/c000f307e642990781e1

C++N3242, 2011, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318

C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010

C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91

Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words and/or centences in order.

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/faa4ea03d91d901a618a

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

CERT C++(103)入門(1) Rule 01. Declarations and Initialization (DCL) coding(32)

CERT CPP

Rule 01. Declarations and Initialization (DCL)

DCL50-CPP. Do not define a C-style variadic function

dcl50非適合例

参考文献

自己記事一覧

関連資料

Engineering Festa 2024前に必読記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.