Coverity est un outil logiciel propriétaire utilisé pour l'analyse statique de code source C, C++ et Java.
Wikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Coverity Prevent de Wikipédia en français (auteurs)
Coverity Prevent — Coverity Logo Prevent ist eine kommerzielle, proprietäre Software der US amerikanischen Software Firma Coverity, Inc. zur statischen Code Analyse von C , C++ , C# und Java Quelltext. Damit können unter anderem Wet … Deutsch Wikipedia
Coverity — Prevent Coverity est un outil logiciel propriétaire utilisé pour l analyse statique de code source C, C++ et Java. Lien externe (en) Site de Coverity … Wikipédia en Français
Coverity — Coverity, Inc. Type Private Industry Software integrity Founded November 2002 Headquarters San Francisco, CA … Wikipedia
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
Abstract interpretation — In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer… … Wikipedia
Statisches Software-Testverfahren — Statische Software Testverfahren (kurz: statische Tests) gehören zu den analysierenden Verfahren beim Softwaretest und unterteilen sich in Strukturierte Gruppenprüfung (engl. Review) Statische Code Analyse bzw. kurz statische Analyse Statische… … Deutsch Wikipedia
Open source software security — is the measure of assurance or guarantee in the freedom from danger and risk inherent to an open source software system. Contents 1 The debate 1.1 Benefits of open source security 1.2 Drawbacks of open source security … Wikipedia
OpenPAM — Original author(s) Dag Erling Smørgrav Developer(s) NAI Labs Stable release Hydrangea / December 21, 2007; 3 years ago (2007 12 21) … Wikipedia
Features of Mozilla Firefox — The features of Mozilla Firefox distinguish it from other web browsers such as Internet Explorer. It lacks many features found in other browsers, in an effort to combat interface bloat and to allow the browser to be shipped as a small, pared down … Wikipedia
Features of Firefox — (category) Contents Firefox 10 · 11 · 12 Firefox 7 · 8 · 9 Firefox 4 · … Wikipedia
