Description: LDRA Testbed is a software analysis tool used for developing and testing safety-critical software. It provides static and dynamic analysis to help ensure code quality, safety, security and compliance with standards like MISRA C/C++.
Type: software
Description: Semgrep is an open-source tool for detecting bugs and security vulnerabilities in source code using pattern matching. It works by scanning codebases to find instances where code matches predefined patterns that correspond to vulnerabilities or errors.
Type: software
Pricing: Open Source