Static Analysis
Browse 236 static analysis tools
FEATURED
CLI tool for threat modeling and visualizing AI agent workflows
Formal verification tools & services for C/Rust software security & safety.
Formal verification tools & services for C/Rust software security & safety.
SAST platform that runs scans and ingests SARIF results into a unified dashboard.
SAST platform that runs scans and ingests SARIF results into a unified dashboard.
App pen testing service covering web, API, mobile, desktop, and AI apps.
App pen testing service covering web, API, mobile, desktop, and AI apps.
DHS-funded program providing automated AppSec tools across the SDLC.
DHS-funded program providing automated AppSec tools across the SDLC.
AppSec tool that aggregates SAST/DAST results for triage & remediation.
AppSec tool that aggregates SAST/DAST results for triage & remediation.
Smart contract security audit service covering code analysis & remediation.
Smart contract security audit service covering code analysis & remediation.
Manual + automated source code review service to find security vulns.
Manual + automated source code review service to find security vulns.
Blocks phishing sites on employee devices using AI-based real-time classification.
Blocks phishing sites on employee devices using AI-based real-time classification.
Code analysis and verification tool with a 14-day free trial.
Code analysis and verification tool with a 14-day free trial.
Static analysis tool enforcing OWASP Top 10 security rules for Rust code.
Static analysis tool enforcing OWASP Top 10 security rules for Rust code.
Automated C code analysis and repair tool benchmarked against NIST SAMATE.
Automated C code analysis and repair tool benchmarked against NIST SAMATE.
Automated code repair tool that detects and fixes security/reliability bugs.
Automated code repair tool that detects and fixes security/reliability bugs.
SAST service detecting code vulnerabilities across the full SDLC.
SAST service detecting code vulnerabilities across the full SDLC.
Automated binary vulnerability analysis without source code for IT and OT/ICS.
Automated binary vulnerability analysis without source code for IT and OT/ICS.
Manual malware analysis lab with CSI module for in-depth threat inspection.
Manual malware analysis lab with CSI module for in-depth threat inspection.
Integrated platform combining sandbox analysis, CDR, and workflow automation.
Integrated platform combining sandbox analysis, CDR, and workflow automation.
Workflow platform combining malware sandbox analysis and CDR file sanitization.
Workflow platform combining malware sandbox analysis and CDR file sanitization.
Multi-OS malware analysis platform with sandbox, static analysis & URL scanning.
Multi-OS malware analysis platform with sandbox, static analysis & URL scanning.
File sanitization tech that disarms & reconstructs files using zero-trust.
File sanitization tech that disarms & reconstructs files using zero-trust.
Automated malware analysis via hypervisor-level sandbox & static analysis.
Automated malware analysis via hypervisor-level sandbox & static analysis.
Hypervisor-level dynamic sandbox for real-time malware behavioral analysis.
Hypervisor-level dynamic sandbox for real-time malware behavioral analysis.
Binary analysis tool for supply chain security in automotive and IoT firmware.
Binary analysis tool for supply chain security in automotive and IoT firmware.
Deep malware & phishing analysis via static, dynamic, and hybrid methods.
Deep malware & phishing analysis via static, dynamic, and hybrid methods.
