TrustInSoft
TrustInSoft develops solutions that validate mission-critical software and eliminate attack vectors. TrustInSoft Analyzer is an advanced static source code analyzer based on the Frama-C platform. The TrustInSoft Analyzer enables software developers and integrators to exhaustively detect the most frequent and dangerous families of threats before deployment. TrustInSoft also offers professional services and expertise to formally audit safety and security-critical existing software components.
Contact Information
-
Paris France
Map Visit Website
vCard