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 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.