Diffblue Refactor & Repair

  • Diffblue Repair acts like a virtual code assistant, suggesting code improvements directly in a developer's IDE or CI platform.
  • Diffblue Repair proposes verified code changes to modernize new or legacy code while preserving correctness.
  • Diffblue Repair can both perform advanced refactorings and repair, by proposing mergeable code fixes to developers.

Diffblue Secure

  • Diffblue Secure is a next generation application security tool that analyzes your software end-to-end and accurately finds and provides fix guidance for the repair of critical application security vulnerabilities.

Open Source CBMC

  • Diffblue is a leading contributor to the open source CBMC project.
  • At Diffblue we appreciate the value of helping each other and believe in the idea of building a unified community; one that understands the benefits of supporting each other - more eyes saves time and improves maintenance which leads to better software.

We’re looking for Labs beta customers