2015-05-23 (土) 12時00分
ISO/IEC9899, MISRA-C, CERTC, ISO/IEC TS17961, ESCRをコンパイルしよう
講師：小川 清（代表）
担当：MISRA-C愛好会
レベル：入門編
対象者：学生、プログラマ、セキュリティ担当
前提知識：C, C++, C#, Perl, JAVAなどC言語系の文法、規則のうち１つの言語を見たことがある
ISO/IEC 9899, MISRA-C, CERTC, ISO/IEC TS17961, ESCEのコード断片をコンパイルして出力することにより、
言語規約、コーディング標準の目的、意図を知る。コンパイラはGCC, LLVM, Visual C++のいずれかを導入済み
だとよい。出力はThe C Puzzle Bookの手法を用い、動作確認を主眼とする。freestanding環境、ホスト環境、
C90,C99,C2011、各規則の違いを体感し、言語部分集合(subset)が試験事例を少なくすることができるところに
旨味があることを知る。
【カテゴリ】教育/プログラミング言語/セキュリティ
