新機能 イベント主催者向け機能「重複参加の許可/禁止」機能と「グループブラックリスト」機能をリリースしました。詳しくは こちら

お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

このエントリーをはてなブックマークに追加

2月

5

#静的コード解析の会 第1回

ARMマイコン上で動作するアプリケーションをVeriFastで検証しましょう!

ハッシュタグ :#metasepi
募集内容

ホモ・サピエンス

無料

先着順(抽選終了)
12/15

イベントの説明

静的コード解析とこの勉強会について

静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。このような手法には以下のように様々な実装があります:

しかしこれらの手法は特性が異なります。メモリの安全性しか検査できないものや、実行バイナリを数学的に証明できるものまで幅があるのです。実際の製品に応用する際には「どの手法が製品のどの部分に適しているのか」知っておく必要があります。

また、実際の製品の安全性は単に設計すれば済む問題ではありません。お客様が製品を入手する際に、その製品はどのような検証をなされていて、どの程度の安全性なのか納得していただいた上で、安心して使用していただかねばなりません。そのためにはこれらの手法をわかりやすく初学者に解説できる必要があるのです。

この勉強会は上記のような静的コード解析についての意見交換を目的としています。

発表スタイルと発表者の募集

この勉強会では発表者を毎回募集しています。基本的に発表者は「自分の話したい内容」を「自分の話したい形式」で「自分の意図したレベル」にて発表できます。無理に高度な話をする必要もありませんし、無理に初心者にわかりやすくする必要もありません。

ただし、初心者はわからないところを(ある程度)質問できるものとします。おそらく初学者からは、この勉強会で発表者が宇宙語を話しているように見えるでしょう。ただし、主催者はあまりにも初歩的な質問内容であった場合には任意のタイミングでその質問を打ち切ることができることとします。

発表者は可能であれば当日の発表資料を後日公開してください。勉強会に参加できなかった方々にも知見を共有したいためです。公にしたくない内容を発表する発表者は、事前にその旨を主催者に申告してください。

持ち物

  • Windows/MacOS/LinuxいずれかのOSがインストールされ、無線LANに接続可能なノートPC

当日のスケジュール

以下のようなスケジュールを想定しています。

  • 12:45 ビル1階のサンクス飲食スペースに集合してください
  • 13:00-14:00 「ChibiOS/RT開発環境の構築」 by @masterq

メジャーなRTOSの1つであるChibiOS/RTを紹介し、参加者のPCにそのビルド環境を構築します。ビルド構築について詳しくはchibios-verifastリポジトリを参照してください。

  • 14:00-14:10 休憩
  • 14:10-15:10 「STマイクロ製マイコンボード上におけるChibiOS/RTアプリケーションの実行」 by @masterq

メジャーなマイコンメーカの1つであるSTマイクロ製のボードを使って、前タームで構築したChibiOS/RTのアプリケーションを動作させます。

  • 15:10-15:20 休憩
  • 15:20-15:35 懇親会の調整 (お店を選んで参加人数で予約します、‏@maoutokaguraさんは懇親会のみ参加)
  • 15:35-16:35 「VeriFastによるChibiOS/RTアプリケーションの検証」 by @masterq

前タームで使用したChibiOS/RTアプリケーションのコードに対してVeriFastを使って簡単な検証を行ないます。

  • 16:35-16:45 休憩
  • 16:45-17:40 「未定」

当日までに予定が決まらなければ、各自もくもく会になります。参加者が「こんな検証をしてみたい」と提案して、それに対して検証可能かどうか皆で調べるのも面白いかもしれません。

  • 17:40-18:00 次回の計画

しかし会場からの活発な議論があった場合などは柔軟に対応しようと考えています。

会場について

永和システムマネジメント様に会議室を提供していただきました。ありがとうございます!

  • 場所 : 〒101‐0041 東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F map(1階がサンクスのビルです。)

開催日は休日のため、ビル自体が入館制限されており、関係者でないと入れません ので注意ください。

参加者のみなさんは次の段取りに従って入館してください。

  • 12:45 に同ビル1階のサンクスの飲食スペースあたりに集合してください。
  • 入館できる人が引率して、まとまって入館します。
  • 遅参した場合は、サンクスに到着したら 主催者のTwitter や同席予定者へ連絡してください。別途入館を支援します。
  • 主催・発表予定者で、早めに来たい方には、別途調整しますのでご連絡ください(会場は 12:30 から使えるようにしてあります)。
  • 電源、Wi-Fi は自由に使えます。
  • 飲食は自由です。自動販売機があります。(ゴミの後始末は各自でお願いします。)
  • その他この勉強会において困ったことがありましたら 090-3524-7064 まで電話をください。主催者 が対応いたします。

懇親会

18:30から以下で懇親会を開催します。

  • 春天酒坊 03-6206-9200 東京都千代田区神田須田町2-6-2-101

協賛

資料 資料をもっと見る/編集する

フィード

h_sakurai

h_sakuraiさんが資料をアップしました。

2017/02/05 13:16

久保秋 真

久保秋 真 さんが書き込みました。

2017/02/05 13:14

遅れていらっしゃる方、上の携帯に電話ください。

久保秋 真

久保秋 真 さんが書き込みました。

2017/02/05 12:24

スミマセン、「鍛冶屋文蔵 神田須田町店」は、日祝休みでした…。

masterq

masterqさんが資料をアップしました。

2017/02/05 02:34

久保秋 真

久保秋 真 さんが書き込みました。

2017/02/03 14:46

みなさん〜、今回は日曜日ですが、よろしくお願いしますねー。

masterq

masterq さんが #静的コード解析の会 第1回 を公開しました。

2016/11/19 17:51

#静的コード解析の会 第1回 を公開しました!

グループ

Metasepi

組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです

イベント数 12回

メンバー数 93人

終了

2017/02/05(日)

12:45
18:00

募集期間
2016/11/19(土) 17:51 〜
2017/02/05(日) 18:00

会場

永和システムマネジメント コワーキングスペース

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

永和システムマネジメント コワーキングスペース

参加者(12人)

masterq

masterq

#静的コード解析の会 第1回 に参加を申し込みました!

久保秋 真

久保秋 真

#静的コード解析の会 第1回 に参加を申し込みました!

ruicc

ruicc

とりあえず登録

ton

ton

#静的コード解析の会 第1回に参加を申し込みました!

TamakiOkui

TamakiOkui

#静的コード解析の会 第1回に参加を申し込みました!

tanaka_akr

tanaka_akr

#静的コード解析の会 第1回 に参加を申し込みました!

eldesh

eldesh

I joined #静的コード解析の会 第1回!

hatsugai

hatsugai

#静的コード解析の会 第1回 に参加を申し込みました!

takarakasai

takarakasai

#静的コード解析の会 第1回

h_sakurai

h_sakurai

#静的コード解析の会 第1回 に参加を申し込みました!

参加者一覧(12人)

キャンセルした人(4人)