Software Security
Browse 17 software security tools
FEATURED
Formal verification tools & services for C/Rust software security & safety.
Automated code repair tool that detects and fixes security/reliability bugs.
Firmware & software protection against reverse engineering for embedded systems.
Python3 code protection against reverse engineering via opcode obfuscation.
Real-time crash monitoring with heuristics to distinguish bugs from attacks
Static analysis tool for C/C++ and enterprise languages, now part of AdaCore
Certificate program teaching secure software development and coding practices
Security training course focused on threat assessment in software dev
Fix-first AppSec powered by agentic remediation, covering SCA, SAST & secrets.
Software asset inventory & lifecycle mgmt platform for visibility & control
Source code diversification tool that creates program variants with diversity
AI-powered code review tool providing automated PR feedback and quality analysis
Software updater that patches security flaws in Windows & third-party apps
A tool that uses NLP and ML to identify potential software vulnerabilities from git commit messages
A cryptographic framework that secures software update systems by enabling publishers to sign content offline and consumers to verify authenticity through trusted verification mechanisms.
A set of tools for securing JavaScript projects against software supply chain attacks.
An open source tool that generates YARA rules from installed software on running operating systems for efficient software identification in digital forensic investigations.
