Automotive Functional Safety Conference 2023

TrustInSoft Cofounder and CEO Fabrice Derepas presenting at the Automotive Functional Safety Conference 2023.

  Back to news TrustInSoft is this year’s proud sponsor of the Automotive Functional Safety Conference, held this year in Detroit, Michigan. /*! elementor – v3.15.0 – 20-08-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} TrustInSoft Cofounder & CEO Fabrice Derepas at Automotive Functional Safety Conference 2023 /*! elementor – v3.15.0 – 20-08-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 […]

TrustInSoft Analyzer Expands Support for Automotive Software Compliance with ISO 26262 Qualification

TrustInSoft Analyzer officially ISO 26262 qualified. Text below: Tool for safety-related software development for any automotive safety integrity level.

Back to news Independent qualification demonstrates commitment to helping automotive OEMs and suppliers eliminate the most critical software risks and reduce compliance efforts  PRESS RELEASE PARIS and SAN FRANCISCO — September 19, 2023 — TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced today that TrustInSoft Analyzer has received ISO 26262 qualification from […]

Customer Testimonial: eSOL

TrustInSoft eSOL customer testimonial. Securing embedded software on a new level.

  Back to news TrustInSoft provides its high quality code verification tool to eSOL, a global leader in the embedded space. /*! elementor – v3.15.0 – 20-08-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.15.0 – 20-08-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} Helping secure embedded software with eSOL eSOL, a […]

Achieving Zero Bug Code: July Silicon Valley ISSA

TrustInSoft CTO and Cofounder on stage at Microsoft Silicon Valley Campus presenting on the topic of Formal Methods and a mathematical proof of zero bug in code

  Back to news TrustInSoft CTO & Cofounder Benjamin Monate takes the stage at the Silicon Valley Chapter of ISSA July meeting, presenting on the topic of formal methods, firmware development and obtaining zero bug code. TrustInSoft CTO and Cofounder Benjamin Monate Formal methods and a mathematical proof of zero bugs in code TrustInSoft CTO […]

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.

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

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 […]

An Introduction to Fuzzing

Graphic Fuzzing Blog 1: An Introduction to Fuzzing, what it is, who uses it and why, its benefits and the tools involved

Back to news What it is, who uses it and why, its benefits and the tools involved? The rapid growth in the connectivity of software-driven products over the last several years is expected to continue for the foreseeable future.[1], [2]  That growth, however, has also increased both the attack surfaces of those products and the […]

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.

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 […]