Loading video player...
Explore how TrustInSoft, a formal methods-based static analysis tool, can be integrated into CI/CD pipelines using GitHub Actions. This video demonstrates how TrustInSoft can be run in headless mode via the command line to enable automated code verification as part of your development workflow. See how teams can enforce quality gates by blocking merges based on parsing issues, alarm status, and code coverage thresholds. The video also highlights TrustInSoft's reporting capabilities, including current alarms, detailed analysis results, and trend reports to track software quality over time. https://www.trust-in-soft.com/ ______________________________________ TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C, C++, and Rust source code to ensure safety, security and reliability. Recognized by the US National Institute of Standards and Technology (NIST) for leveraging advanced formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analyzed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defense, consumer electronics, and IoT industries.