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.
GNAT Static Analysis for Ada
Par ADACORE
GNAT Static Analysis Suite est un outil d'analyse statique automatisée pour le langage Ada. Il effectue une analyse sémantique approfondie du code source afin de détecter des bugs, des vulnérabilités et des violations de normes de codage.
Éditeur / Prestataire
- Entreprise
- ADACORE
- SIREN
- 403325657
- Code NAF
- 58.29B - Edition de logiciels outils de développement et de langages
- Site web
- adacore.com/
Souveraineté
Solutions similaires
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...
Below Analyze
Par WE DO LOW
Below Analyze est un outil d'analyse de code embarqué qui combine des techniques statiques et dynamiques pour visualiser...
Agentic Analysis
Agentic Analysis est un outil de vérification de code en temps réel qui analyse le code généré par des agents d'IA avant...
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é ...
TrustInSoft Analyzer
Par TRUSTINSOFT
TrustInSoft Analyzer est un outil d'analyse statique exhaustive basé sur des méthodes formelles pour détecter et élimine...
GNAT Dynamic Analysis Suite
Par ADACORE
GNAT Dynamic Analysis Suite est un outil de test dynamique pour les applications Ada, C et C++. Il intègre des fonctionn...