Fadis (@fadis_) header
Fadis (@fadis_) profile picture

本: https://teapaw.org/t.co/SoabRO3JgZ 丼: @fadis@mstdn.jp 青: https://teapaw.org/t.co/xF9GTKT9cB

大阪←→東京
Joined July 2010
Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)Photo by Fadis (@fadis_)
Pinned Tweet
FADIS PRESSでは11月21日から始まる #技術書典 21で新刊「大地の作り方」を頒布する予定です. デザイナーが要求する形を大雑把に守りながら本物らしいディティールを持った地形を生成する手法を解説します. 頒布価格500円、PDF版のみ、オンラインのみ出展です techbookfest.org/organizatio…
5
19
1,505
This simple packaging SSD is really serious on simple packaging.
2
17
1,585
新しいPCに積むメモリが届いた
2
7
3
119
8,125
Google's Kage Project Rethinks Linux Kernel Security With Isolated Device Drivers : Linuxカーネルのドライバを隔離されたアドレス空間で実行する事で、カーネル空間で実行する性能はそのままに、ドライバに脆弱性があった場合の影響を最小限にしよう、という試みの話 linuxjournal.com/content/goo…
1
13
35
3,160
LFIがかかっていても、コンパイラのバグ等で正しくLFIが使われていないドライバがロードされたら隔離が台無しになる。 その為Kageではカーネル側にLFIされたバイナリが正しくLFIされているかをチェックするverifierが実装される
1
1
4
561
カーネルドライバはカーネル本体が公開するAPIを叩く必要がある。 隔離の外のアドレスを持ってそれを好き勝手呼べたら隔離の意味がなくなってしまう。そこでKageではeBPFで用いられる物と同じ関数の型チェックを外の関数の呼び出しの前に挿入し、型が合わない関数の呼び出しを拒否する
1
3
538
TAINT_FORCED_BIND Sent In For Linux 7.4 To Deal With Major Fuzzing Attack : Linux 7.4から新しい汚染フラグTAINT-FORCED-BINDが追加される話。sysfsに生えているbindを使ってドライバとハードウェアが結びつけられるとその事が汚染フラグに記録される phoronix.com/news/Linux-7.4-…
1
3
12
1,636
Linuxには汚染フラグ(taint flag)というフラグが用意されている。汚染フラグにはモジュールの強制ロード/アンロード、ハードウェアの異常が通知された、ステージングドライバを使っている、ライブパッチ等の「正しく動かなくてもおかしくない事が行われた」状態である事を表すフラグが並んでいる
1
1
3
494
syzkallerからの報告にはその時点の汚染フラグが含まれ、これによって効率よく役に立たないバグ報告をフィルタできるようになっている。ただ「bindでドライバとハードウェアが結びつけられた」を表すフラグが無かった。これを追加しようというのが今回の変更
1
4
463