Code Security
Browse 164 code security tools
FEATURED
Formal verification tools & services for C/Rust software security & safety.
Manual + automated source code review service to find security vulns.
Static analysis tool enforcing OWASP Top 10 security rules for Rust code.
Automated C code analysis and repair tool benchmarked against NIST SAMATE.
Automated code repair tool that detects and fixes security/reliability bugs.
SAST service detecting code vulnerabilities across the full SDLC.
Hybrid SAST + manual code audit service mapping findings to OWASP/NIST.
Web app security platform for vulnerability scanning & secure dev.
Security platform for healthtech startups covering vuln mgmt, SIEM & compliance.
Firmware & software protection against reverse engineering for embedded systems.
Python3 code protection against reverse engineering via opcode obfuscation.
Code signing & software supply chain security platform with policy governance.
Automates generation, validation & deployment of security code fixes via PRs.
Smart contract audit service combining AI scanning and manual code review
Static analysis tool for C/C++ and enterprise languages, now part of AdaCore
Continuous automated pentesting platform with GitHub integration and AI agents
Security solution for AI coding assistants, agents, and MCP servers
AI-driven automated security testing using fuzzing and symbolic execution
AI-powered fuzzing and security testing tool for Python applications
