Coverity est un outil logiciel propriétaire utilisé pour l'analyse statique de code source C, C++ et Java.
Portail de l’informatiqueWikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Coverity de Wikipédia en français (auteurs)
Coverity — Coverity, Inc. Type Private Industry Software integrity Founded November 2002 Headquarters San Francisco, CA … Wikipedia
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
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
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
Zlib — infobox software name = zlib latest release version = 1.2.3 latest release date = 2005 07 18 programming language = C operating system = cross platform genre = data compression license = zlib license website = [http://zlib.net/ zlib.net] zlib is… … 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
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
List of build automation software — Build automation involves scripting or automating the process of compiling computer source code into binary code. Below is a list of notable tools associated with the build automation process. Contents 1 Make based tools 2 Non Make based tools 3… … Wikipedia
