Hitex-Webinar with TrustinSoft: Static Code Analysis with TrustInSoft Analyzer
Webinar with Jean-François Pouilly from TrustInSoft
How TrustInSoft analyzer puts formal methods at the fingertips of the C/C++ developer to integrate them in the development workflow.
The presentation introduces some key concepts of TrustInSoft Analyzer such as soundness, exhaustivity, hardware aware, control flow and data flow integrity. And how they fit with industrial goals.