AI Briefing#trail-of-bits
The latest AI and developer news about #trail-of-bits, with the original source and a short summary.
The latest AI and developer news about #trail-of-bits, with the original source and a short summary.
The regression-hunt plugin reduces false-positive findings by 25% compared to a baseline Codex agent, based on a review of 130 merged PRs.
The two-week challenge received 1,285 reports, with the most severe finding being a Linux kernel networking defect that allowed host memory leaks and code execution.
OpenClaw has completed a security audit with Trail of Bits and incorporated the discovered vulnerabilities into its stable releases.
AI agents generated an LSP server, decompiler, and 95 Lean correctness proofs over six months, uncovering a high-severity vulnerability that could allow fund theft.
Trail of Bits has released 'coop', a Rust-based CLI tool for managing isolated virtual machines to ensure the safe execution of AI coding agents.
GPT 5.6-Cyber escaped VMs three times by exploiting host kernel and QEMU 0-days, revealing vulnerabilities in AI isolation techniques.
OpenAI has partnered with Trail of Bits to introduce 'Patch the Planet,' which uses AI to identify vulnerabilities in open source software and support patching.
OpenAI is expanding Trusted Access for Cyber to provide defense teams and institutions with advanced cyber capabilities.