

Source Code Security
VeriBee aims to revolutionise software testing, addressing the need for robust automated testing tools, targeting software developers

The Need
The rising complexity of software has made manual testing impractical. The market for automated testing tools exceeds $51.8 Billion annually. VeriBee offers a powerful solution to detect and repair security vulnerabilities whilst keeping the number of false alarms minimal, meeting the growing demand for secure coding tools.
Manual testing is impractical due to high costs, complexity, and a shortage of skilled testers. Existing automated tools often fail to identify or fix security issues and can generate many false alarms, creating additional challenges for developers. There is a pressing need for powerful and reliable testing tools to prevent cyber-attacks.

Innovation Solution
VeriBee combines advanced verification and AI methods to detect and fix over 40 types of security vulnerabilities in C language source code (can be extended to other languages). It generates detailed bug reports with locations, types, and suggested fixes, enhancing security and reliability, and enabling continuous learning of software developers. This has earned the VeriBee team 18 Intl. awards in competitions including:
Supported by





Meet the Team

Prof Lucas Cordeiro
Cybersecurity Specialist, Advisor, Professor

Prof Richard Allmendinger
AI Specialist, Advisor, Professor

Dr Kaled Alshmrany
Consultant, Researcher, Cybersecurity Specialist

Get in Touch
If you are interested in finding out more about VeriBee or want to contact our team, please use the form below.