Loading...
Application security tools and solutions for securing web applications, mobile apps, and software throughout the development lifecycle. Task: Static Analysis
Browse 150 security tools
Formal verification tools & services for C/Rust software security & safety.
SAST platform that runs scans and ingests SARIF results into a unified dashboard.
DHS-funded program providing automated AppSec tools across the SDLC.
AppSec tool that aggregates SAST/DAST results for triage & remediation.
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.
Binary analysis tool for supply chain security in automotive and IoT firmware.
Hybrid SAST + manual code audit service mapping findings to OWASP/NIST.
Traces third-party library usage at function level to identify dependency risk.
Custom blockchain fuzz testing service with bespoke harnesses & CI integration.
Mobile app security audit covering code review, DAST, SAST, and pentesting.
AI-powered SAST triage tool that automates false positive removal at 97% accuracy.
Android app dynamic behavior analysis system using sandbox technology.
Software/firmware validation platform generating trust scores via SBOM & malware analysis.
Static analysis tool for C/C++ and enterprise languages, now part of AdaCore
AI-powered automated code vulnerability remediation using hybrid AI approach
Detects exposed API keys and credentials across multiple cloud services
Source code verification tool that finds bugs and security vulnerabilities
Get strategic cybersecurity insights in your inbox