第15回 カーネル／VM探検隊＆懇親会@東京 part 2 #kernelvm

Fadis @fadis_

Zen: Zigという言語にtraitsなどを追加したもの #kernelvm

Yoshikazu GOTO @goto_ipv6

社会インフラの危険性 ・1980年台から今日現在 →設計ミス→ハッカーがそれを利用 #kernelvm

NOKUBI Takatsugu野首貴嗣 @knok

デジタル社会でのインフラのリスク 　コード、実行環境等 　もともと1980年代から抱えている課題 #kernelvm

まきひろ @m_akihiro

Zig言語のサイト ziglang.org #kernelvm

Deep @deep_tkkn

CPU のアーキテクチャもそうだし，周辺機器も含めた PC アーキテクチャも古くなって厳しい感じがする #kernelvm

NOKUBI Takatsugu野首貴嗣 @knok

近年は自動車のECUなどでもソフトウェア由来のリコールが発生するなどの問題 #kernelvm

Yoshikazu GOTO @goto_ipv6

ソフトウェアバグ起因の新しいタイプのリコール ・エンジンの中にも ARM チップが載ったりする #kernelvm

イスラエルエリカちゃん @syuu1228

低レイヤーやってる小さい会社あるあるだ…と思ってしまった 例え文章は更新しててもWebデザインやれる人は居ないみたいな twitter.com/fadis_/status/… #kernelvm

Fadis @fadis_

「Webサイトに何も書かれていなくて秘密の集団みたいに見えるけど低レイヤーガチ勢しか居なくてWebデザイナーが居ないだけ」 #kernelvm

2019-07-20 14:55:45

NOKUBI Takatsugu野首貴嗣 @knok

自動車の例 　Ralph Naderがシートベルトの必要性を提唱 (1966) #kernelvm

まれいん @Maleic1618

github.com/ziglang/zig #kernelvm

Yoshikazu GOTO @goto_ipv6

車社会の安全確保：第二防衛線であるシートベルト ・たとえ人々が事故を起こしても… #kernelvm

Yoshikazu GOTO @goto_ipv6

コンピュータにもシートベルトが必要ではないか？ #kernelvm

Fadis @fadis_

Traitsの必要性: 車にシートベルトという第二防衛線があるように、プログラマが間違った事をしても被害に繋がらない為のチェックを言語は提供すべきである #kernelvm

orumin 東2ホールU-41b @orumin

Rust とはまた違うアプローチなんだなあ #kernelvm

Yoshikazu GOTO @goto_ipv6

コードの安全化のための法整備： ・中間コードを政府のチェック機関がチェック →危険なメモリ操作などがないか #kernelvm

ひばり @lcst_topevx

なんとなくRustっぽいと思ってしまった #kernelvm

NOKUBI Takatsugu野首貴嗣 @knok

法整備の必要性 　政府のチェック機関 trusted compiting #kernelvm

まきひろ @m_akihiro

言語仕様で脆弱性が入るのを防ぐ方向:Zig/Zen、中間表現で検知する:kiyomizu #kernelvm

uchan @uchan_nos

C言語とかはポインタ操作などによるバグが発生する可能性がある。LLVM IRを製品搭載前に検査して安全性を上げる。 #kernelvm

ozaki-r @peo3

The Zig Programming Language ziglang.org #kernelvm

イスラエルエリカちゃん @syuu1228

「C言語が書ける大臣（！）」#kernelvm

Hiroshi Shimamoto @hshimamoto

中間コードから危険な部分、どうやったら見つけられるのかなあ。#kernelvm

AoiMoe a.k.aしお兄P @AoiMoe

これ応用すればパチンコ業界の Z80 依存を無くせるんじゃないかwwww #kernelvm

Yoshikazu GOTO @goto_ipv6

LLVM IRを解析して安全性をチェックすればよいのでは？ ・GCC は知らないです… #kernelvm

勝(まさる) @masaru0714

C言語を書ける平井卓也大臣 #kernelvm