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.
SeaCoral Test Generator
Par OCAMLPRO
SeaCoral est un outil de génération automatique de tests unitaires pour le langage C. Il combine fuzzing, model checking et analyse concolique pour maximiser la couverture, détecter le code mort et les erreurs d'exécution, et produit des rapports HTML.
Éditeur / Prestataire
- Entreprise
- OCAMLPRO
- Localisation
- GIF-SUR-YVETTE, FR
- SIREN
- 531468429
- Code NAF
- 70.10Z - Activités des sièges sociaux
- Site web
- www.ocamlpro.com
Souveraineté
Solutions similaires
Blackfire
Par SENSIOLABS
Blackfire est un outil de profilage et de monitoring des performances pour applications web. Il permet aux développeurs ...
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...
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...
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é ...
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éma...
JoliGEN
Par JOLIBRAIN
JoliGEN est un générateur de code qui permet de créer des applications web métier complètes à partir d'un modèle de donn...