Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
あおぞら太郎🔞:skeb::irai_bosyuu_tyuu:@aozora_taro11@misskey.io (2026-10-10 22:14:48)
ポンコツ僕っ娘探偵ちゃん:meow_heartgift:
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-d6f070fa-1cc3-4427-8ae6-fe35db6d4f29.png
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@pepepe_moru@misskey.io (2026-10-05 20:47:31)
依頼絵です:wave_hearts:
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-a7695dca-6001-42b6-868f-d1361302da66.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@guchamoko@misskey.io (2026-10-10 22:11:57)
---Attachments---
image: https://media.misskeyusercontent.com/io/a40d1ea2-4417-4bf6-89b8-58963a8315b5.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@suzukinnzou@misskey.io (2026-10-10 12:19:33)
:hirupoyoo::meow_kankankan::butter_kakete_agemasyou_ne:
---Attachments---
image: https://media.misskeyusercontent.com/io/249d7e95-aa69-45c0-9e0c-51333358cc1a.jpg
ぐちゃもこ📛@guchamoko@misskey.io (2026-10-10 22:11:57)
---Attachments---
image: https://media.misskeyusercontent.com/io/a40d1ea2-4417-4bf6-89b8-58963a8315b5.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@AmanogawaChop@misskey.io (2026-10-10 20:16:31)
再掲 #テトの日2026
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-d02ea406-88b5-439d-a1fc-3b0b68c2a3b1.png
image: https://media.misskeyusercontent.com/io/a3ea60dd-fb0d-4e7a-ac6f-97c7ad9bdeec.png
image: https://media.misskeyusercontent.com/io/3e5eca83-5449-4113-bfa3-dab8f66b9213.webp?sensitive=true
underproofed ganbold@ganbold@sns1.hydranlab.com boosted:
@mame_brot@mk.absturztau.be (2026-10-10 20:50:07)
@ganbold@sns1.hydranlab.com ║ 2x :sayoriyes: ║ 2x :blobcatyes: ║ 1x :ganz_genau: ║ 6x :blobhug2: ║ 1x :mostima_lick: ║ 3x :sailorwow: ║ 2x :blobcat_step: ║
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@kemari@voskey.icalo.net (2026-10-03 23:29:56)
仮称:ゾンビちゃんです
---Attachments---
image: https://voskeyfiles.icalo.net/drv/05c4c517-ee98-4e60-b318-48749c9bd000.webp
underproofed ganbold@ganbold@sns1.hydranlab.com (2026-10-10 22:10:12)
pengyou
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@myonshiso@misskey.io (2026-10-10 22:09:07)
134匹釣れたうち連れが持ってった分の残り110匹の処理が終わらず無限揚げ物編突入した
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-82b7a91e-bcdd-474a-a8c0-164307ca5cf2.webp
image: https://media.misskeyusercontent.com/io/webpublic-86301299-5836-423e-9bd1-0b9ffa0a97a8.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@HAL21@misskey.io (2026-10-10 22:09:12)
神聖かまってちゃんが生徒会のアニメのOPやるらしいから、それ目当てで見ようかなと思ってる
RE: https://misskey.io/notes/9t9ue0jxwe9u0fp1
はるあ:role_nikke_commander:@HAL21@misskey.io (2026-10-10 22:09:12)
神聖かまってちゃんが生徒会のアニメのOPやるらしいから、それ目当てで見ようかなと思ってる
RE: https://misskey.io/notes/9t9ue0jxwe9u0fp1
ボルバルザーク・うんち・ドラゴン@myonshiso@misskey.io (2026-10-10 22:09:07)
134匹釣れたうち連れが持ってった分の残り110匹の処理が終わらず無限揚げ物編突入した
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-82b7a91e-bcdd-474a-a8c0-164307ca5cf2.webp
image: https://media.misskeyusercontent.com/io/webpublic-86301299-5836-423e-9bd1-0b9ffa0a97a8.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@shimokidawn@misskey.io (2026-10-10 18:42:05)
:teto_yamamoto: #テトの日
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-4537a22c-588b-4855-a446-306dafcf8dd6.webp
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@HAL21@misskey.io (2024-12-18 23:27:04)
花譜→カンザキイオリ→ボカロ全般
花譜→2.5次元(Vsinger・Vtuber)→にじさんじ・ホロライブなど
花譜→ミッドナイト清純異性交遊→大森靖子
花譜→フロントメモリー→神聖かまってちゃん→進撃の巨人→アニメ全般にどハマり
って感じなので、私の趣味は花譜から全てが始まっているし、一番の:osi:なんすよ…
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@metaljack@misskey.io (2026-10-10 22:04:47)
白スクきりたん
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-3d22c6a5-3b54-4b62-acdb-0c55be95f1ed.webp?sensitive=true
Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2026-10-10 22:08:03)
32ビットArmにもCFI用の仕組みがあるのか
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@fadis@mstdn.jp (2026-10-10 22:06:34)
関数の型情報をハッシュにした物をターゲットの命令列を生成するバックエンドまで持ってこないといけない為、変更はフロントエンド、RTL、バックエンドの3層全てにおよび、テスト込みで6600行程度の変更になったらしい。このkcfiの実装はx86_64、aarch64、arm、risc-vをサポートしている
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@fadis@mstdn.jp (2026-10-10 22:06:24)
CFIにはいくつかの実現方法があるが、Linuxカーネルのような低レイヤーで使いやすいように作られたのがclangのkcfi。kcfiは関数の先頭の命令の前に関数の型のハッシュ値を埋め込む。間接関数呼び出し時は呼び出す関数の型のハッシュ値と、ジャンプ先の前に書かれたハッシュ値が一致するかを確認する。
これは意図しない関数の呼び出しを完全に防ぐ物ではないが、関数の型は多様なので呼べる関数の種類はごく僅かになる。Linuxカーネルは以前からclangでビルドする場合に限りkcfiを仕込んでビルドする事ができた。何故clang限定だったかというとgccにはkcfiの実装が無かったから。
そこでKees Cook氏はclangのkcfiと同じように機能するkcfiをgccにも実装して、gccでビルドするLinuxでもcfiを使えるようにした。clangでビルドしたバイナリとgccでビルドしたバイナリが互いの関数を呼べるようにgccのkcfiにはgccに実装があり、clangでもkcfiのハッシュに指定可能なFNV-1aが選ばれた
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@fadis@mstdn.jp (2026-10-10 22:06:03)
これでリターンアドレスの書き換えで任意のコードを実行する事はできなくなるが、スタックやヒープ上に関数ポインタが置かれていて、それが特定の条件で呼び出される場合(間接関数呼び出し)、攻撃者は関数ポインタのアドレスを書き換える事でROPと同じようにCall-oriented programming(COP)ができる。
そこでIntel Control-Flow Enforcement Technology(略してCET)では関数の先頭にendbr命令を置く。endbr自体は何もしない命令だが、callやjmpで飛んだ先の最初の命令がendbrでない場合、CPUは例外を発生させる。これによって関数は必ず先頭から実行しなければならなくなり、COPが難しくなる。
CETでCOPは難しくなるが、攻撃者が欲しい関数そのものが実行可能バイナリの中に転がっている場合、攻撃者は間接関数呼び出しでその関数を呼ばせるだけで攻撃が成立する。そこで間接関数呼び出しにもう一段階縛りを設けて攻撃を困難にするのがCFI
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@fadis@mstdn.jp (2026-10-10 22:05:40)
太古の昔、攻撃者はスタックを壊せるバグを起点としてメモリ上に実行したいコードを置いてスタック上のリターンアドレスを書き換える事でそのコードを実行させる事で任意のコードを実行していた。こうした攻撃を防ぐために現代のOSの下では殆どのメモリは「書けるけど実行できない」か「実行できるけど書けない」設定がなされる。
こうした設定がなされていても、リターンアドレスを既存のコードの好きな位置に書き換える事は出来るため、既存の実行可能バイナリの一部を継ぎ接ぎして任意のコードを実行するReturn-oriented programming(略してROP)が行われるようになった。
ROPを防ぐために現代のx86_64 CPUにはShadow Stackが備わっている。Shadow Stackは関数呼び出し時にスタックに積んだリターンアドレスを書き換え不能な別のスタックにも積んでおき、return時に2つのスタックの値が一致しているかをチェックする。
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@fadis@mstdn.jp (2026-10-10 22:05:15)
Adding kernel control-flow-integrity checking to GCC : gccでkcfiを使えるようにしたKees Cook氏によるgccのkcfiについての発表のまとめ記事。Control-flow integrity略してCFIは間接関数呼び出しに細工をして意図しない関数の呼び出しを防ぐ為の仕組み https://lwn.net/Articles/1098670/
Fadis@fadis@mstdn.jp (2026-10-10 22:06:34)
関数の型情報をハッシュにした物をターゲットの命令列を生成するバックエンドまで持ってこないといけない為、変更はフロントエンド、RTL、バックエンドの3層全てにおよび、テスト込みで6600行程度の変更になったらしい。このkcfiの実装はx86_64、aarch64、arm、risc-vをサポートしている
Fadis@fadis@mstdn.jp (2026-10-10 22:06:24)
CFIにはいくつかの実現方法があるが、Linuxカーネルのような低レイヤーで使いやすいように作られたのがclangのkcfi。kcfiは関数の先頭の命令の前に関数の型のハッシュ値を埋め込む。間接関数呼び出し時は呼び出す関数の型のハッシュ値と、ジャンプ先の前に書かれたハッシュ値が一致するかを確認する。
これは意図しない関数の呼び出しを完全に防ぐ物ではないが、関数の型は多様なので呼べる関数の種類はごく僅かになる。Linuxカーネルは以前からclangでビルドする場合に限りkcfiを仕込んでビルドする事ができた。何故clang限定だったかというとgccにはkcfiの実装が無かったから。
そこでKees Cook氏はclangのkcfiと同じように機能するkcfiをgccにも実装して、gccでビルドするLinuxでもcfiを使えるようにした。clangでビルドしたバイナリとgccでビルドしたバイナリが互いの関数を呼べるようにgccのkcfiにはgccに実装があり、clangでもkcfiのハッシュに指定可能なFNV-1aが選ばれた
:onmyou::vc:Charlie Root@relay@mastodon.hakurei.win (2026-10-10 22:06:20)
今までおかしかった仕組みが情報漏洩の影響というネガティブな理由だけどようやく変わろうとしている
目視での確認から数学的な裏付けのある確認方法へ
Fadis@fadis@mstdn.jp (2026-10-10 22:06:03)
これでリターンアドレスの書き換えで任意のコードを実行する事はできなくなるが、スタックやヒープ上に関数ポインタが置かれていて、それが特定の条件で呼び出される場合(間接関数呼び出し)、攻撃者は関数ポインタのアドレスを書き換える事でROPと同じようにCall-oriented programming(COP)ができる。
そこでIntel Control-Flow Enforcement Technology(略してCET)では関数の先頭にendbr命令を置く。endbr自体は何もしない命令だが、callやjmpで飛んだ先の最初の命令がendbrでない場合、CPUは例外を発生させる。これによって関数は必ず先頭から実行しなければならなくなり、COPが難しくなる。
CETでCOPは難しくなるが、攻撃者が欲しい関数そのものが実行可能バイナリの中に転がっている場合、攻撃者は間接関数呼び出しでその関数を呼ばせるだけで攻撃が成立する。そこで間接関数呼び出しにもう一段階縛りを設けて攻撃を困難にするのがCFI
Fadis@fadis@mstdn.jp (2026-10-10 22:05:40)
太古の昔、攻撃者はスタックを壊せるバグを起点としてメモリ上に実行したいコードを置いてスタック上のリターンアドレスを書き換える事でそのコードを実行させる事で任意のコードを実行していた。こうした攻撃を防ぐために現代のOSの下では殆どのメモリは「書けるけど実行できない」か「実行できるけど書けない」設定がなされる。
こうした設定がなされていても、リターンアドレスを既存のコードの好きな位置に書き換える事は出来るため、既存の実行可能バイナリの一部を継ぎ接ぎして任意のコードを実行するReturn-oriented programming(略してROP)が行われるようになった。
ROPを防ぐために現代のx86_64 CPUにはShadow Stackが備わっている。Shadow Stackは関数呼び出し時にスタックに積んだリターンアドレスを書き換え不能な別のスタックにも積んでおき、return時に2つのスタックの値が一致しているかをチェックする。
Masanori Ogino 𓀁@omasanori@mstdn.maud.io boosted:
@kuonkigou@misskey.io (2026-10-10 18:40:50)
美味しいとこだけ食べるあかりちゃん
同型機は油断させやすいらしい
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-bdeb331f-f09e-4f4a-a261-07fdb0bd05b8.png
Fadis@fadis@mstdn.jp (2026-10-10 22:05:15)
Adding kernel control-flow-integrity checking to GCC : gccでkcfiを使えるようにしたKees Cook氏によるgccのkcfiについての発表のまとめ記事。Control-flow integrity略してCFIは間接関数呼び出しに細工をして意図しない関数の呼び出しを防ぐ為の仕組み https://lwn.net/Articles/1098670/
Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2026-10-10 22:04:57)
インターネット女(指示語)の秘密鍵がプレミア公開されてしまう
Older Notes