Picolo Code Reasoning system

GenAI based automatic software vulnerability detection, reasoning and resolution.


 

OUR MISSION

To build Generative AI technologies that can search, reason and eliminate software security vulnerabilities in mission critical code.



CodeSearch

Ability to proactively identify bugs in code specifically relating to the security properties of the code.


CodeLogic

Ability to reason as to why there is a security vulnerability and how it might be exploited. 

CodeFix

Ability to suggest multiple fixes to the code without affecting core functionality.


CodeTest

Ability to iterate through fixes to ensure no new vulnerabilities are introduced and functional regression is ensured.

Supported by a NSF SBIR Phase 1 Grant.