仕様変更を行ない、受付票を常に発行することになりました。詳しくはこちらをご覧ください。infoホモ・サピエンスFreeFCFS6/10Description静的コード解析とこの勉強会について静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。その他しかしこれらの手法は特性が異なります。メモリの安全性しか検査できないものや、実行バイナリを数学的に証明できるものまで幅があるのです。実際の製品に応用する際には「どの手法が製品のどの部分に適しているのか」知っておく必要があります。実際の製品の安全性は単に設計すれば済む問題ではありません。お客様が製品を入手する際に、その製品はどのような検証をなされていて、どの程度の安全性なのか納得していただいた上で、安心して使用していただかねばなりません。そのためにはこれらの手法をわかりやすく初学者に解説できる必要があるのです。この勉強会は上記のような静的コード解析についての意見交換を目的としています。発表スタイルと発表者の募集この勉強会では発表者を毎回募集しています。基本的に発表者は「自分の話したい内容」を「自分の話したい形式」で「自分の意図したレベル」にて発表できます。無理に高度な話をする必要もありませんし、無理に初心者にわかりやすくする必要もありません。初心者はわからないところを(ある程度)質問できるものとします。初学者からは、この勉強会で発表者が宇宙語を話しているように見えるでしょう。主催者はあまりにも初歩的な質問内容であった場合には任意のタイミングでその質問を打ち切ることができることとします。発表者は可能であれば当日の発表資料を後日公開してください。勉強会に参加できなかった方々にも知見を共有したいためです。公にしたくない内容を発表する発表者は、事前にその旨を主催者に申告してください。持ち物Windows/MacOS/LinuxいずれかのOSがインストールされ、無線LANに接続可能なノートPC当日のスケジュール以下のようなスケジュールを想定しています。全員せっかく勉強会に集まったので、交流を深めるために自己紹介をしましょう。持ち時間は一人5分以内です。勉強会当日に話せるネタがある場合には「XXXの発表をしたいです」と発言してください。@masterqメジャーなRTOSの1つであるChibiOS/RTを紹介し、参加者のPCにそのビルド環境を構築します。ビルド構築について詳しくはchibios-verifastリポジトリを参照してください。本発表のプレゼン資料はslideshareから閲覧できます。プレゼン資料はmarkdown形式でも読むことができます。@masterqメジャーなマイコンメーカの1つであるSTマイクロ製のボードを使って、前タームで構築したChibiOS/RTのアプリケーションを動作させます。@masterq前タームで使用したChibiOS/RTアプリケーションのコードに対してVeriFastを使って簡単な検証を行ないます。当日までに予定が決まらなければ、各自もくもく会になります。参加者が「こんな検証をしてみたい」と提案して、それに対して検証可能かどうか皆で調べるのも面白いかもしれません。希望があれば来年の計画を立てたいと思います。会場からの活発な議論があった場合などは柔軟に対応しようと考えています。会場についてフェンリル様に会議室を提供していただきました。ありがとうございます!グランフロントのオフィスフロア14Fには日曜日でも入場できますが、会議室に入場するためには@usamik26さんにオフィスの鍵を開けていただく必要があります。当日迷子になったら主催者にご連絡ください。主催者が対応いたします。カンファレンスルームへのルートです。VGA)会議室とフェンリル様業務エリアと直接つながっていますが、業務エリアに入らないでください!懇親会18:30から懇親会を開催します。OsakaFeedmasterqさんが資料をアップしました。参加を申し込みました!FindBugsをJenkins上で、またCoverityを3ヶ月ほど使いました。組込は素人ですがよろしくお願いします。