C-STAT
Static analysis helps you to find potential issues in your code by doing an analysis on the source code level. C-STAT includes almost 700 checks in total, some comply with rules as defined by MISRA C:2012, MISRA C++:2008 and MISRA C:2004 and more than 250 checks mapping to issues covered by CWE. In addition, it checks compliance with the coding standard CERT C for secure coding. C-STAT executes fast and provides you with comprehensive and detailed error information. You don't need to worry about complex tool setup and struggle with language support and general build issues. C-STAT is completely integrated in the IAR Embedded Workbench IDE and enables you to easy ensure code quality in your daily development flow. It's available for most IAR Embedded Workbench products. Static analysis finds potential issues in code by doing an analysis on the source code level. In addition to raising the code quality, the analysis also aids alignment with industry coding standards.
Learn more
Visure Requirements
Visure Solutions, Inc. is a leading provider of requirements management tool suites offering a comprehensive collaborative ALM Platform for system engineering industries. Visure’s value proposition is nothing less than the total innovative technology in key functions: standard compliance for safety-critical and business-critical systems.
- Requirements and Traceability Management
- Test Management
- Bug & Issue Tracking
- Risk Management
- Collaboration Management - Centralized data base, Review/Approval process
- Certification Management (Support of many Standard Templates ISO26262, IEC62304, IEC61508, CENELEC50128, DO178/C, FMEA, GAMP5, SPICE, CMMI, etc. + Tool Qualification Package)
- Configuration Management, Baselining, History Tracking, Requirements Versioning
- Dashboards + Report Customization
- Integrated with DOORS, Jama, Siemens Polarion, PTC, Perforce, JIRA, Enterprise Architect, HP ALM, Microfocus ALM, PTC, TFS, Word, Excel, Test RT, RTRT, VectorCAST, LDRA, etc.
Learn more
Axivion Static Code Analysis
Axivion helps development teams deliver safer, cleaner, and more maintainable C, C++, and CUDA code by automatically detecting coding standard violations, security vulnerabilities, dead code, and code clones. It provides actionable recommendations and detailed analytics, helping teams track, resolve, and prevent defects early in the development process. Axivion also supports architecture verification, enabling teams to maintain modular and scalable codebases.
Designed for safety-critical industries like automotive, aerospace, medical devices, and industrial automation, Axivion supports functional safety standards including MISRA, ISO 26262, and IEC 61508. By combining static code analysis with architecture verification, it helps teams maintain long-term code health, accelerate certification readiness, and deliver high-performance software while reducing technical debt and ensuring compliance.
Learn more
Kiuwan Code Security
Kiuwan is an end-to-end application security platform that integrates seamlessly into your development process.
Our toolset includes Static Application Security Testing (SAST), Software Composition Analysis (SCA), Software Governance and Code Quality, empowering your team to quickly identify and remediate vulnerabilities.
Integrating into your CI/CD pipeline, Kiuwan enables early detection and remediation of security issues. Kiuwan supports strict compliance with industry standards including OWASP, CWE, MISRA, NIST, PCI DSS, and CERT, among others.
✅ Large language support: 30+ programming languages.
✅ Detailed action plans: Prioritize remediation with tailored action plans.
✅ Code Security: Seamless Static Application Security Testing (SAST) integration.
✅ Insights: On-demand or continuous scanning Software Composition Analysis (SCA) to help reduce third-party threats.
✅ One-click Software Bill of Materials (SBOM) generation
Code Smarter. Secure Faster. Ship Sooner.
Learn more