関連ニュース
「メタルギアオンライン」でロビー参加だけでPCを乗っ取られる恐れ、任意コード実行につながる脆弱性が判明
PC版「メタルギアオンライン」のバージョン1.1.2.8に、悪意あるホストが用意したロビーへ参加するだけでプレイヤーのPC上で任意のコードを実行される可能性がある脆弱(ぜいじゃく)性が存在してい...
GIGAZINE
08/25 09:07
時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた
本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけ...
はてなテクノロジー
08/19 08:27
出典メディア
GIGAZINE (2)
はてなテクノロジー (1)
つながり
数字は「修正済み」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
脆弱性
2
href="https
1
rce/">続き
1
<p><b
1
...</a></
1
ユーザープロセス
1
CVE-2026
1
形式仕様
1
セキュリティ
1
ロビー参加
1
Quint
1
Issues
1
バージョン1.1
1
パスワード漏洩
1
Linux
1
ホストファイルシステム
1
ルート権限
1
denoland/celld
1
任意コード
1
denoland/
1
Anthropic / Claude
1
コード
1
Claude
1
脆弱(
1
セキュリティ上
1
AI・人工知能
1
Center
1
時相論理
1
-gear
1
Coordination
1
...</a></b
1
rce/">
1
Omarchy
1
ユーザーセッション
1
Center(CERT/
1
Claude/ChatGPT
1
.net/news
1
45;online&#
1
バージョン4.0
1
PC版
1