vulns-2026-fatfs-chance

ELM FatFs 脆弱性調査 このリポジトリは、FatFs における確認済みの6件のセキュリティ脆弱性と、テストハーネス、ファザー、およびスタンドアロンのエクスプロイトディスクイメージ生成ツールを文書化したものです。 元のFatFsソースコードは、FatFs-R0.16 ディレクトリにあります。 このプロジェクトは、2017年に実施したセキュリティ評価への回帰です。その当時、手動監査と数日間にわたるファジングによって、FatFsドライバの基本的ではあるが興味深くないバグがいくつか特定されました。9年後の2026年3月、私たちはVisual Studio Code、GitHub...

VulnFanatic-NG

VulnFanatic-NG LLM支援の脆弱性調査のための Binary Ninja プラグインです。 VulnFanatic-NG はサイドバーパネルを追加し、現在のバイナリをスキャンして、疑わしいコードが実際に脆弱かどうかを LLM（デフォルトではローカルホスト の OpenAI 互換モデル、または Anthropic Claude、Google Gemini、Azure OpenAI（LLM バックエンド を参照））に判断させます。主に Binary Ninja...

o3_finds_cve-2025-37899

に基づく LinuxカーネルのSMB実装におけるリモートゼロデイ脆弱性CVE-2025-37899をo3を使って発見した方法 ターゲット脆弱性 ollama 脆弱性 CVE-2024-37032 https://github.com/ollama/ollama/releases/tag/v0.1.34 https://github.com/ollama/ollama/compare/v0.1.33...v0.1.34 コミット: 2a21363 以下のように llm CLI を使用する pip install llm llm keys set openai llm --sf...

LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

Whitepaper called LLM-Assisted Automatic Security Proofs For Cryptographic Protocols: How Far Are We?...

IntentFuzz: A Protocol-Aware Fuzzer for Automated Invariant Violation Detection in Intent-Based Cross-Chain Bridges

Cross-chain bridges move value between blockchains. Intent-based bridges are a variant where a solver fulfills a user's declared outcome and an off-chain settlement layer later reconciles the fill against the deposit. Existing smart-contract fuzzers and static analyzers only flag known-bad code...

PT-2026-81200

My two cents is that this democratises AI-availability and Privacy. Doom on hardware Y is an existence proof and dies there! For fulfilling your curiosity running a glm-5.1 UD-IQ1 M on one Mac studio M3 ultra plus a iogpu sysctl made us at byteray CVE-2026-55706 a 27-year old bug on OpenBSD just ...