Caroline Guillaume Appointed TrustInSoft CEO
![TrustInSoft CEO Caroline Guillaume quote](https://trust-in-soft.com/wp-content/uploads/sites/13/2024/01/CEO-update-1200x675.png)
Back to news TrustInSoft welcomes former COO Caroline Guillaume as Chief Executive Officer /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=”.svg”]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block} /*! elementor – v3.17.0 – 25-10-2023 */ .elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px} TrustInSoft Announces New CEO TrustInSoft is delighted to announce a pivotal moment in TrustInSoft’s evolution. […]
TRUSTINSOFT ANALYZER DEMO
![TrustInSoft Analyzer interface designated for demo](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/12/TISA-DEMO-COVER-1200x675.png)
TrustInSoft Analyzer Demo: C/C++ source code exhaustive static analysis tool https://www.youtube.com/watch?v=G1husGoT10Q See TrustInSoft Analyzer in action with Director of Systems Engineering, Jason Landers. In this demonstration, you will learn how TrustInSoft Analyzer can be used to obtain a mathematical guarantee of software safety, security, and reliability. This is done by using formal methods to identify […]
TrustInSoft Analyzer Breaks New Ground in Software Validation on Emulated Target Hardware and Associated Memory Mapping
![image of press release title: TrustInSoft Analyzer Breaks New Ground in So9ware Valida;on on Emulated Target Hardware and Associated Memory Mapping over dark tech background](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/12/357-1200x675.png)
Back to news Enhanced feature emulates architecture with ultimate precision Press Release PARIS and SAN FRANCISCO—11th December 2023 — TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced today that TrustInSoft Analyzer now includes memory mapping, in addition to its already highly accurate target hardware awareness. Low-level software relies on mappings between program […]
Going Beyond Fuzzing for Airtight Security
![Fuzzing White Blog Series: Blog 3 Going Beyond Fuzzing for Airtight Security; Even when used with the best analysis tools, fuzzing will not provide perfect code coverage. For your most security-critical applications, you may need to go further.](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/05/3.png)
icon/arrow Back to news Even when used with the best analysis tools, fuzzing will not provide perfect code coverage. For your most security-critical applications, you may need to go further. In Part 1 of this series , we introduced the software verification technique called fuzzing. We described what it is, who uses it and why, the […]
Optimizing Fuzzing to Eliminate More Vulnerabilities
![Graphic Fuzzing Blog 2: Optimizing Fuzzing to Eliminate More Vulnerabilities; Fuzzing has its limitations, formal methods can help you overcome them](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/05/2.png)
icon/arrow Back to news Fuzzing has its limitations. Formal methods can help you overcome them. In the first post of this series , we introduced the software verification technique called fuzzing. We described what it is, who uses it and why, the tools involved, and the benefits of fuzzing. In this post, we’ll examine the limitations […]
TrustInSoft Analyzer Drives Results on the Toyota Infotechnology Center (ITC) Test Suite
![Image with text TrustInSoft Drives Results on ITC Test Suite, in the background is a large automotive vehicle.](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/03/TrustInSoft-Drives-Results-on-ITC-Test-Suite.png)
icon/arrow Back to news Learn more about the benchmark of static analysis tools for the purpose of comparing solutions for automotive safety and security practices & TrustInSoft Analyzer’s results on the ITC test suite Context The Toyota Infotechnology Center (ITC) test suite, created for C/C++ static analysis tools, was designed to quantitatively evaluate industry tools […]
Why exhaustive static analysis is ideally suited for ensuring the security of low-level code
![Low Level Code Blog 3- Why exhaustive static analysis is ideally suited for ensuring the security of low-level code](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/01/Low-Level-Code-Blog-3.png)
icon/arrow Back to news Read more in the free white paper: From Bare Metal to Kernel Code: How Exhaustive Static Analysis Can Guarantee Airtight Security in Low-level Software and Firmware and discover two practical use cases In Part 1 of this series, we discussed why ensuring the security of low-level code—the code used in OS kernels, device […]
Why conventional static analysis and software testing are not ideal for removing security vulnerabilities from low-level code
![Low-level code blog 2- Why conventional static analysis and software testing are not ideal for removing security vulnerabilities from low-level code](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/01/Low-Level-Code-Blog-2.png)
icon/arrow Back to news Discover some of the drawbacks to traditional testing methods and modern alternatives in this blog or for the full white paper, click here In the first post of this series, we discussed why ensuring the security of low-level code—the code used in OS kernels, device firmware and other applications that interface directly […]
Why low-level code has become the new focal point of cybersecurity for embedded systems
![low-level code blog 1- why low-level code has become the new focal point of cybersecurity for embedded systems](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/01/Low-Level-Code-Blog-1.png)
icon/arrow Back to news The rapid expansion of connected devices and applications poses cybersecurity threats for embedded systems, download the free white paper to learn about the risks and possible solutions From smartphones to gaming consoles, automobiles to self-service fuel pumps, medical implants to smart-home technologies, the number of connected devices that touch our lives […]
TrustInSoft to Showcase Advanced Embedded Software Bug Detection at CES 2023: Introducing Proven Zero Bug Software
![TrustInSoft at CES 2023, advanced embedded software bug detection: introducing proven zero bug software](https://trust-in-soft.com/wp-content/uploads/sites/13/2023/01/CES-Advanced-Embedded-Software-Bug-Detection.png)
icon/arrow Back to news Experience a live demo of TrustInSoft Analyzer at the booth with Technical Presales Consultant Olivier Korach See TrustInSoft Analyzer in Action at the Consumer Electronics Show 2023 In Las Vegas TrustInSoft will be demonstrating live advanced bug detection with its interactive booth at the 2023 CES show in Las Vegas. TrustInSoft, […]