Fiche non validée
Les informations de cette fiche proviennent de sources publiques et n'ont pas encore été validées par l'éditeur. Si vous constatez une erreur, veuillez nous la signaler.
TrustInSoft
Par TRUSTINSOFT
Solution d'analyse statique formelle pour détecter les vulnérabilités et garantir la sécurité du code C/C++ avant son exécution.
Description
Solution d’analyse statique de code formel (C/C++) pour détecter des failles, des dépassements de buffer, des comportements indéfinis, et assurer la sécurité du code avant exécution.
Étiquettes
Éditeur / Prestataire
- Entreprise
- TRUSTINSOFT
- SIREN
- 793371907
- Code NAF
- 58.29A - Édition de logiciels système et de réseau
- Site web
- trust-in-soft.com/
Souveraineté
Solutions similaires
TrustInSoft Analyzer
Par TRUSTINSOFT
TrustInSoft Analyzer est un outil d'analyse statique exhaustive basé sur des méthodes formelles pour détecter et élimine...
CAST Gatekeeper
Par CAST
CAST Gatekeeper est un outil d'analyse de code qui inspecte les applications pour détecter les défauts architecturaux, l...
Visual Expert
Par NOVALYS
Visual Expert est un outil d'analyse, de documentation et de maintenance de code pour les environnements PowerBuilder, O...
CodeSonar for C/C++
Par ADACORE
CodeSonar est un outil d'analyse statique de code source pour les langages C, C++, Java, C#, Go, Python, JavaScript, Typ...
SonarQube Server
SonarQube Server est un outil d'analyse statique de code auto-hébergé qui inspecte en continu la qualité et la sécurité ...
SPARK Pro
Par ADACORE
SPARK Pro est un outil de preuve formelle qui permet de vérifier mathématiquement la sûreté, la sécurité et l'exactitude...