Analyseur statique LLVM / Clang

application gratuite qui vous aidera à mettre fin à des bugs dans les programmes C
Télécharger maintenant

Analyseur statique LLVM / Clang Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • LLVM Team
  • Site Internet de l'éditeur:
  • http://llvm.org/
  • Systèmes d'exploitation:
  • Mac OS X
  • Taille du fichier:
  • 8.9 MB

Analyseur statique LLVM / Clang Mots clés


Analyseur statique LLVM / Clang La description

Application gratuite qui vous aidera à définir des bugs dans C Programmes L'analyseur statique LLVM / Clang est un outil autonome qui constate des bogues dans les programmes C et Objective-C. Actuellement, l'analyseur est invoqué en tant qu'outil de ligne de commande. Il est destiné à courir en tandem avec une construction d'un projet ou d'une base de code.Le sont des choses importantes que vous devriez prendre en compte lors de l'utilisation de l'analyseur statique: cet outil est très tôt dans le développement. Il existe de nombreuses améliorations planifiées pour améliorer à la fois la précision et la portée de ses algorithmes d'analyse ainsi que les types de bugs qu'il trouvera. Une analyse statique peut être beaucoup plus lente que la compilation. Bien que l'analyseur soit conçu pour être aussi rapide et léger que possible, veuillez ne pas vous attendre à ce qu'elle soit aussi rapide que la compilation d'un programme (même avec des optimisations activées). Certains des algorithmes nécessaires pour trouver des bugs exigent dans le pire des cas, heure exponentielle. L'analyseur fonctionne dans un délai raisonnable en borniant la quantité de vérification des travaux qu'il fera ainsi que d'utiliser des algorithmes intelligents pour réduire la quantité de travail qu'il doit faire pour trouver des bugs.false positifs. L'analyse statique n'est pas parfaite. Il peut fausser faussement des bugs dans un programme où le code se comporte correctement. Étant donné que certains contrôles de code nécessitent plus de précision d'analyse que d'autres, la fréquence des faux positifs peut varier considérablement entre différentes vérifications.


Analyseur statique LLVM / Clang Logiciels associés

Datant

Un outil de contrôle de source libre pour les bases de données relationnelles ...

208 27 KB

Télécharger

Châtre ch

Vous permet d'intégrer CH (Interprète C / C ++) dans vos programmes d'application C / C ++ et votre matériel en tant que moteur de script. ...

248 3 MB

Télécharger