仕様変更を行ない、受付票を常に発行することになりました。詳しくはこちらをご覧ください。infoホモ・サピエンスFreeFCFS16/18Description静的コード解析とこの勉強会について静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。その他しかしこれらの手法は特性が異なります。メモリの安全性しか検査できないものや、実行バイナリを数学的に証明できるものまで幅があるのです。実際の製品に応用する際には「どの手法が製品のどの部分に適しているのか」知っておく必要があります。実際の製品の安全性は単に設計すれば済む問題ではありません。お客様が製品を入手する際に、その製品はどのような検証をなされていて、どの程度の安全性なのか納得していただいた上で、安心して使用していただかねばなりません。そのためにはこれらの手法をわかりやすく初学者に解説できる必要があるのです。この勉強会は上記のような静的コード解析についての意見交換を目的としています。発表スタイルと発表者の募集この勉強会では発表者を毎回募集しています。基本的に発表者は「自分の話したい内容」を「自分の話したい形式」で「自分の意図したレベル」にて発表できます。無理に高度な話をする必要もありませんし、無理に初心者にわかりやすくする必要もありません。初心者はわからないところを(ある程度)質問できるものとします。初学者からは、この勉強会で発表者が宇宙語を話しているように見えるでしょう。主催者はあまりにも初歩的な質問内容であった場合には任意のタイミングでその質問を打ち切ることができることとします。発表者は可能であれば当日の発表資料を後日公開してください。勉強会に参加できなかった方々にも知見を共有したいためです。公にしたくない内容を発表する発表者は、事前にその旨を主催者に申告してください。仮ですが、以下のようなスケジュールを想定しています。全員せっかく勉強会に集まったので、交流を深めるために自己紹介をしましょう。持ち時間は一人5分以内です。勉強会当日に話せるネタがある場合には「XXXの発表をしたいです」と発言してください。@ftakeC言語=>SPINLLVMさわってた変更範囲の分析をやったりしているopensuseのサミットが1ヶ月後にあるよ!準備が大変だよ!LTはまだ募集してます。MLが好きだったのだが。@hanetsuki_y元RTL設計屋さんC言語でファームウェア開発が今VRやってるよ!adlintを使ってたCoverityを使おうと思ったが予算が通らなかった。spyglassを使ってHDLを検証してた。@khibino職業Haskellプログラマ関数型言語から定理証明に興味がCoqにも興味が静的解析はあまり。DSLがSQLに変換されるよ。くぼあきモデリングツールを支援しているなかなか買ってくれないお。@hatsugai並行システムの検証をしたくてツールを作っている対話的なモデル検証SSGというクラウドパワーを使って検証するpthreadの検証もしたよisabelleを使っていて、Coqはあまり。@dooriver14:00以降は各自の持ちネタを発表します。途中休憩を10分x2確保しようと思います。@masterqCoverityは優秀な静的コード解析ツールとして有名です。会社の規模によっては当該ツールの導入予算がつかないケースもあると思います。本発表ではオープンソースの静的コード解析ツールを紹介し、その特性を比較します。いうライブラリを持ちいて、かつ特殊なコメントを埋め込まれたC言語ライブラリへの高級言語バインディングを自動生成する機構です。サーベイした結果を報告します。@masterqValaはGObjectをベースにした独自の言語でGNOMEのベースとなっているGLibを使ったオブジェクト指向プログラミングを支援します。本発表ではこのVala言語がどの程度安全なプログラミングを支援しているのか簡単なテストプログラムを例にして解説します。OSのカーネルやベアメタルで動作するコードを安全に設計できることが知られています。このハンズオンではATS言語にまったく触ったことのないユーザ向けに、各プラットフォームへのATSコンパイラのインストール方法、最初のATSプログラムの書き方、依存型の解説と簡単な利用方法、線形型の解説と簡単な利用法について説明/ハンズオンを行ないます。全員@masterqが日々収集しているコード検証に関するブックマークを皆で眺めながら意見交換をしましょう。会場について永和システムマネジメント様に会議室を提供していただきました。map(1階がサンクスのビルです。参加者のみなさんは次の段取りに従って入館してください。同ビル1階のファミリーマートの飲食スペースあたりに集合してください。入館できる人が引率して、まとまって入館します。同席予定者へ連絡してください。使えるようにしてあります)。