CVE-2025-43529

JavaScriptCore の誤った DFG StoreBarrierInsertionPhase に起因する UAF 脆弱性、CVE-2025-43529 の根本原因分析。

このリポジトリには、この脆弱性に対する丁寧に構成された根本原因分析スライドが含まれています。観測可能な動作から正確な意味論上の根本原因へと、読者を段階的に導く階層的な説明として意図的に構成されています。

焦点は、悪用手法ではなく、明快さ、正確性、意味論的推論に置かれています。

お役に立てば、そしてお楽しみいただければ幸いです。😊

分析: CVE-2025-43529.pdf

謝辞

• バグを発見した Google Threat Analysis Group に称賛を送ります。
• 詳細な分析と、再現用に見事に作られたエクスプロイトを提供してくれた @jir4vv1t に称賛を送ります。

参考

1. https://github.com/jir4vv1t/CVE-2025-43529

免責事項

このリポジトリは教育目的のみを意図しており、悪意のある活動に使用してはなりません。