kakkun61.com

さっき食べ過ぎたなと思ったのにもう何か食べたい

​​​​

安易な解決であるスティックのりや

初期層の貼り付きがいまひとつでぐちゃっとなった #3Dプリンター

関数の型情報をハッシュにした物をターゲットの命令列を生成するバックエンドまで持ってこないといけない為、変更はフロントエンド、RTL、バックエンドの3層全てにおよび、テスト込みで6600行程度の変更になったらしい。このkcfiの実装はx86_64、aarch64、arm、risc-vをサポートしている

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が選ばれた

これでリターンアドレスの書き換えで任意のコードを実行する事はできなくなるが、スタックやヒープ上に関数ポインタが置かれていて、それが特定の条件で呼び出される場合(間接関数呼び出し)、攻撃者は関数ポインタのアドレスを書き換える事でROPと同じようにCall-oriented programming(COP)ができる。
そこでIntel Control-Flow Enforcement Technology(略してCET)では関数の先頭にendbr命令を置く。endbr自体は何もしない命令だが、callやjmpで飛んだ先の最初の命令がendbrでない場合、CPUは例外を発生させる。これによって関数は必ず先頭から実行しなければならなくなり、COPが難しくなる。
CETでCOPは難しくなるが、攻撃者が欲しい関数そのものが実行可能バイナリの中に転がっている場合、攻撃者は間接関数呼び出しでその関数を呼ばせるだけで攻撃が成立する。そこで間接関数呼び出しにもう一段階縛りを設けて攻撃を困難にするのがCFI

太古の昔、攻撃者はスタックを壊せるバグを起点としてメモリ上に実行したいコードを置いてスタック上のリターンアドレスを書き換える事でそのコードを実行させる事で任意のコードを実行していた。こうした攻撃を防ぐために現代のOSの下では殆どのメモリは「書けるけど実行できない」か「実行できるけど書けない」設定がなされる。
こうした設定がなされていても、リターンアドレスを既存のコードの好きな位置に書き換える事は出来るため、既存の実行可能バイナリの一部を継ぎ接ぎして任意のコードを実行するReturn-oriented programming(略してROP)が行われるようになった。
ROPを防ぐために現代のx86_64 CPUにはShadow Stackが備わっている。Shadow Stackは関数呼び出し時にスタックに積んだリターンアドレスを書き換え不能な別のスタックにも積んでおき、return時に2つのスタックの値が一致しているかをチェックする。

Adding kernel control-flow-integrity checking to GCC : gccでkcfiを使えるようにしたKees Cook氏によるgccのkcfiについての発表のまとめ記事。Control-flow integrity略してCFIは間接関数呼び出しに細工をして意図しない関数の呼び出しを防ぐ為の仕組み https://lwn.net/Articles/1098670/

linear pattern の mode を range にしたときの length ってどこの長さだ？ #FreeCAD

ねてた

加古川市のいとうのいぢ展、8 月があまりに暑くて行けなかった（加古川市にいたのに

もぐのさんにご当地加古川でのいとうのいぢ展のクリアファイルを渡そうと思いつつN年の時が過ぎた

JSConf JP 2026で登壇することになりました。11月22日(日)、東京のベルサール神田で開催されます。

タイトルは「Oseo：SBCLスタイルのJavaScript/TypeScript AOTコンパイラ」。SBCLやChez Schemeのように、動的型付き言語でありながらプログラム全体を事前にネイティブコードへコンパイルするJavaScriptエンジンを作っている、その話をします。TypeScriptの型注釈は最適化のヒントとして使うだけで、決して鵜呑みにしない。ヒントが嘘でも動作は変わらない。そんな設計の話です。

発表は日本語、30分枠、14:10からトラックCです。詳細はこちら。

https://jsconf.jp/2026/ja/talks/hong-minhee

会場でお会いできたら嬉しいです。

最後のひとわくせまくて入らんやん

みんな大好き TD4

いろいろ厳しいアニメでも楽しんで見れるのでニコニコ動画は結構好きです

@yamad 学費面か（いや学士が雑にリプライしているだけで

ところでなんで同じのが複数あるんだろう……？？？

造形出力した　元々 3 枚目みたいなのは作ってたんだけどしきりが欲しくなって波々のしきりにした #3Dプリンター

@yamad 続きをしたい論文を探して著者の所属してる研究室に凸だ

4bit CPUでカウンタープログラムを実行 #sazanka-sim

我孫子駅で止まるな中百舌鳥駅まで行け、綾瀬？

わりと本当に自動車が必要になる感じで駐車場のある家に引っ越すか？

メスガキ祭り

めっちゃうんこでる