CERT C Benchmark

Back to news What is CERT C & why is it especially relevant to improve code safety, reliability, and security? Table of Contents What is CERT C & why is it especially relevant to improve code safety, reliability, and security? The Benchmark Breakdown Undefined Behavior Only Rules All CERT C Rules Medium-High Severity Rules High […]

Delivering Safety & Cybersecurity Critical Software Faster and Cheaper

  Back to news How four leading safety-critical systems developers have used TrustInSoft Analyzer to eliminate pesky bugs, guarantee cybersecurity, improve customer relationships, and reduce verification costs Introduction In Part 1 of this series , we discussed why software for safety-critical systems is hitting an “affordability wall,” why reliance on wireless connectivity in those systems is […]

How exhaustive static analysis can slash software verification costs and schedule for developers of safety and cybersecurity critical systems

Back to news Why industries like aerospace and nuclear energy generation are moving away from traditional software testing and toward exhaustive static analysis Introduction In the first post of this series , we discussed why software for safety-critical systems is hitting an “affordability wall,” why reliance on wireless connectivity in those systems is exacerbating the problem, […]

TrustInSoft Showcases New Offer for Zero-Vulnerability Devices at Mobile World Congress 2022

icon/arrow Back to news Zero-vulnerability software takes center stage at the Mobile World Congress in light of ever-present cyberattacks PRESS RELEASE BARCELONA, Feb. 28th, 2022 – TrustInSoft, a cybersecurity software company, is showcasing its latest offer for zero-vulnerability devices at the Mobile World Congress (MWC), the premier mobile communications trade show taking place from February […]

Mobile World Congress 2022

icon/arrow Back to news TrustInSoft is exhibiting at the Mobile World Congress 2022 next week! Stop by our booth to learn more about how TrustInSoft’s innovative exhaustive code analysis solutions can detect 100% of undefined behaviors in your device software, for greater device security and more efficient software development. Book a Meeting Newsletter Related articles […]

TrustInSoft’s Exhaustive Static Analysis Proves the Security of Trusted Execution Environments

icon/arrow Back to news Download New TrustInSoft White Paper and Learn How to Guarantee Devices are Error-free, Secure and Reliable Paris and San Francisco – November 9, 2021 PRESS RELEASE TrustInSoft’s Exhaustive Static Analysis Proves the Security of Trusted Execution Environments Download New TrustInSoft White Paper and Learn How to Guarantee Devices are Error-free, Secure […]

Bye, bye Pegasus – New Application Security Test

icon/arrow Back to news TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test PRESS RELEASE TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test Bye, bye Pegasus: the new offer allows mobile app developers to prove the absence of vulnerabilities in C and C++ code, libraries, and APIs Cybersecurity software company […]

TrustInSoft Announces Bug Free IoT Application Security Test

icon/arrow Back to news Make Your Applications Compliant with Revised White House Cybersecurity Guidance PRESS RELEASE TrustInSoft, a cybersecurity software company, today announced an Application Security Test (AST) specifically designed to mathematically guarantee bug-free code in embedded Internet of Things (IoT) devices. This AST for IoT is based on TrustInSoft’s Analyzer to provide the equivalent […]