Picolo Code Reasoning system
GenAI based automatic software vulnerability detection, reasoning and resolution.
OUR MISSION
OUR MISSION
To build Generative AI technologies that can search, reason and eliminate software security vulnerabilities in mission critical code.
CodeSearch
CodeSearch
Ability to proactively identify bugs in code specifically relating to the security properties of the code.
CodeLogic
CodeLogic
Ability to reason as to why there is a security vulnerability and how it might be exploited.
CodeFix
CodeFix
Ability to suggest multiple fixes to the code without affecting core functionality.
CodeTest
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.