Skip to content

patching-bugs

Named by 4 kept items in this workspace.

The items that name it 4

  • tool2026-10-22It is written here as patching-bugs (Trail of Bits plugin that writes a fix for a bug, proves it, and checks it for regressions; built from analysis of thousands of Codex sessions from Patch the Planet work with OpenAI).

    Trail of Bits plugin that writes a fix for a bug, proves it, and checks it for regressions; built from analysis of thousands of Codex sessions from Patch the Planet work with OpenAI

  • article2026-10-22

    Trail of Bits Codex plugin for automated security patching, using a three-arm proof (original fails, patched passes, full revert fails) and targeting the violated security invariant.

  • thread2026-10-21It is written here as patching-bugs: open-source plugin from Trail of Bits to help get a working patch out faster.
  • article2026-10-21It is written here as patching-bugs (Trail of Bits plugin, published 21 October 2026: reproduces reported bugs, develops fixes and tests them with agents).

    Trail of Bits plugin, published 21 October 2026: reproduces reported bugs, develops fixes and tests them with agents

In every workspace you can read 6

Security

All technologies in this workspace.