slide 4 of 3

Static code analysis:
Webinar with TrustInSoft

Traditional cybersecurity testing methods, often conducted late in the development cycle, struggle to keep pace. This talk explores how formal methods empower C/C++ developers to: address vulnerability early in Software Development LifeCycle, enhance software cybersecurity, streamline development.

 

Webinar with Jean-François Pouilly and Rolland Dudemaine from TrustinSoft
Thursday, 7 November 2024, 11 AM (CET)


We will illustrate this approach with the TrustInSoft analyzer to show a practical result on a C source code file.


In summary, integrating formal methods and sound Analyzer enhances software reliability and cybersecurity for embedded software.

 

Key Takeaways:

  • Formal methods and advanced analysis tools offer a user-friendly approach to embedded software security and reliability for C/C++ developers. No prior knowledge of formal methods is required.
  • Early identification and mitigation of vulnerabilities reduces development time and costs.
  • Improved software dependability ensures that embedded systems function as intended.

Don't miss this webinar - register now!

Please register here. Your registration to the Hitex webinar will be confirmed by email.

The Hitex Privacy Policy can be found here.