LeoTrace

Vidoc Security Lab

This company provides an automated code security review platform for security teams to detect and fix vulnerabilities in AI-generated code.

Vidoc Security

The company develops an artificial intelligence platform to identify and fix security vulnerabilities in code for software development and security teams.

Corridor

This company develops security software that prevents and fixes vulnerabilities in code generated by artificial intelligence agents for software engineering teams.

Cogent

This company develops an artificial intelligence platform to automate the remediation of software vulnerabilities for security teams within large global enterprises.

Gecko Security

Gecko Security provides an artificial intelligence platform for identifying and fixing software vulnerabilities in codebase for developers and security-conscious enterprises.

Blockchain Cybersecurity Software

This company provides formal verification and security auditing software for blockchain protocols and smart contract developers.

Dam Secure

This company develops a cybersecurity platform that enforces security standards for machine-written code and identifies logic flaws for enterprise engineering teams.

Qwiet AI

This company develops an application security platform that provides code analysis and vulnerability detection for software development and security teams.