https://de.wikipedia.org/w/api.php?action=feedcontributions&feedformat=atom&user=DatabACE Wikipedia - Benutzerbeiträge [de] 2025-04-25T13:01:12Z Benutzerbeiträge MediaWiki 1.44.0-wmf.25 https://de.wikipedia.org/w/index.php?title=Liste_von_Werkzeugen_zur_statischen_Codeanalyse&diff=118340151 Liste von Werkzeugen zur statischen Codeanalyse 2008-11-12T05:00:06Z <p>DatabACE: Further page clean-up--combined Open Source &quot;multiple language&quot; list with &quot;multi-language&quot; list and made &quot;multi-language&quot; the 1st category under Commercial to match order of Open Source category list</p> <hr /> <div>{{Cleanup-list|date=January 2008}}<br /> <br /> This is a list of significant tools for [[static code analysis]].<br /> <br /> {{Portal|Software Testing}}<br /> ==Historical products==<br /> * [[lint (software)|Lint]] — the original static code analyzer of C code.<br /> <br /> ==Open-source or Noncommercial products==<br /> <br /> === Multi-language ===<br /> <br /> * [http://www.campwoodsw.com/sourcemonitor.html Source Monitor]<br /> * [[Rough Auditing Tool for Security|RATS]] — Rough Auditing Tool for Security, which can scan C, C++, Perl, PHP and Python source code.<br /> * [[Yasca]] - Yet Another Source Code Analyzer, a plugin-based framework for scanning arbitrary file types, with plugins for scanning C, C++, Java, and JavaScript. Integrates [[FindBugs]], [http://artho.com/jlint/ Jlint], and [[PMD_(software)|PMD]].<br /> <br /> === .NET (C#, VB.NET and all .NET compatible languages) ===<br /> * [http://www.codeplex.com/reflectoraddins/Wiki/View.aspx?title=CodeMetrics&amp;referringTitle=Home Reflector.CodeMetrics] — (an add-in for [[.NET_Reflector]]) <br /> * [http://www.serviceframework.com/jwss/utility,ccmetrics,utility.aspx CCMetrics]<br /> * [https://sourceforge.net/projects/crplugin/ CRPlugin] (plugin for [http://www.devexpress.com/Downloads/NET/DXCore/ DxCore]) <br /> * [[FxCop]] — Free static analysis for Microsoft .NET programs that compile to [[Common Intermediate Language|CIL]]. Standalone and integrated in some [[Microsoft Visual Studio]] editions. From Microsoft.<br /> * [http://www.1bot.com/ vil]<br /> * [http://www.mono-project.com/Gendarme Gendarme] - A Free static analysis tool from the Mono project<br /> <br /> === Java ===<br /> * [http://bandera.projects.cis.ksu.edu/ Bandera] — analyzer for Java<br /> * [http://checkstyle.sourceforge.net/ Checkstyle] — analyze Java and apply coding standard<br /> * [http://sourceforge.net/projects/classycle/ Classycle] — analyze Java class cycles and class and package dependencies (Layers)<br /> * [[FindBugs]] — an open-source static bytecode analyzer for Java (based on [[Jakarta Project|Jakarta]] [[Byte Code Engineering Library|BCEL]]).<br /> * [http://jlint.sourceforge.net/ Jlint] — for Java<br /> * [[PMD (software)]] — a static ruleset based Java source code analyzer that identifies potential problems.<br /> * [http://people.clarkson.edu/~dhou/projects/SCL/ SCL] — A Java program analysis tool that is programmable with SCL (Structural Constraint Language).<br /> * [http://www.sable.mcgill.ca/soot/ Soot] — A Java program analysis and compiler optimization framework<br /> * [http://sourceforge.net/projects/hammurapi/ Hammurapi] — Customizable static code analysis tool for java (based on coding standards) that can also generate metrics report<br /> * [http://www.ucdetector.org/ UCDetector] — Unnecessary Code Detector: Eclipse PlugIn to find unnecessary (dead) public java code<br /> * [http://www.alphaworks.ibm.com/tech/sa4j sa4j] — Structural dependencies analyzes, measures stability, detects structural &quot;anti-patterns&quot;, impact analysis on dependencies, and more<br /> * [http://spoon.gforge.inria.fr/ Spoon] — Easily create your own custom analysis in Java<br /> <br /> === C ===<br /> * [http://www.cs.umd.edu/~jfoster/cqual/ CQual] — A tool for adding type qualifiers in C.<br /> * [http://sourcenav.sourceforge.net/ SNav] — Red Hat Source Navigator.<br /> * [[Sparse]] — a tool designed to find faults in the [[Linux]] kernel.<br /> * [[Splint (programming tool)|Splint]] — an open source evolved version of Lint (C language).<br /> * [http://frama-c.cea.fr Frama-C] — Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.<br /> * [http://www.astree.ens.fr Astrée] - A tool for proving the absence of runtime errors (overflows, failed assertions, etc.), taylored to critical embedded control code (was applied to [[Airbus A340]] and [[Airbus A380|A380]] avionics code)<br /> * [http://deputy.cs.berkeley.edu/ Deputy] - Deputy is a C compiler that is capable of preventing common C programming errors, including out-of-bounds memory accesses as well as many other common type-safety errors.<br /> * [http://manju.cs.berkeley.edu/ccured/ CCured] - CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.<br /> * [http://www.fortify.com/security-resources/rats.jsp RATS] - RATS is a tool for scanning C, C++, Perl, PHP and Python source code and flagging common security related programming errors such as buffer overflows and TOCTOU (Time Of Check, Time Of Use) race conditions.<br /> * [http://clang.llvm.org/StaticAnalysis.html LLVM/Clang Static Analyzer] - standalone tool that find bugs in C and Objective-C programs.<br /> * [http://www.cs.berkeley.edu/~daw/mops/ MOPS] - MOPS is a tool for finding security bugs in C programs and for verifying conformance to rules of defensive programming.<br /> * [http://www.cs.berkeley.edu/~daw/boon/ BOON] - BOON is a tool for automatically finding buffer overrun vulnerabilities in C source code.<br /> * [http://mtc.epfl.ch/software-tools/blast/ BLAST] - BLAST is a software model checker for C programs.<br /> <br /> <br /> <br /> === Fortran ===<br /> * [http://www.dsm.fordham.edu/~ftnchek/ ftnchek] — static analyzer for Fortran 77 programs<br /> * [http://g95-xml.sourceforge.net/ g95-xml] — code parser toolkit for Fortran 95<br /> <br /> === JavaScript ===<br /> * [http://www.jslint.com/ JsLint] - online analyzer for JavaScript<br /> <br /> === Perl ===<br /> * [http://search.cpan.org/dist/Perl-Critic Perl::Critic] - a static code analysis tool for [[Perl]]<br /> * [http://www.fortify.com/security-resources/rats.jsp RATS] - RATS is a tool for scanning C, C++, Perl, PHP and Python source code and flagging common security related programming errors such as buffer overflows and TOCTOU (Time Of Check, Time Of Use) race conditions.<br /> * [http://search.cpan.org/dist/Perl-Metrics-Simple/bin/countperl countperl] command from Perl::Metrics::Simple module - code metrics include [[Cyclomatic complexity]]<br /> * [http://search.cpan.org/~rgarcia/perl-5.10.0/ext/B/B/Xref.pm B::Xref] module is used to generate a cross reference listing of all definitions and uses of variables, subroutines and formats in a Perl program.<br /> * [http://search.cpan.org/~kstar/B-Fathom-0.07/Fathom.pm B::Fathom] - a module to evaluate the readability of Perl code<br /> * [http://perltidy.sourceforge.net/ perltidy] - script which indents and reformats Perl scripts to make them easier to read<br /> <br /> === PHP ===<br /> * [http://pixybox.seclab.tuwien.ac.at/pixy/ Pixy] — a PHP 4 source code scanner for detection of XSS and SQL injection vulnerabilities.<br /> * [http://code.google.com/p/smarty-lint/ smarty-lint] - a lint implementation for the popular templating engine, Smarty.<br /> * [http://pear.php.net/package/PHP_CodeSniffer PEAR PHP_CodeSniffer] - Checks for compliance with the PEAR coding standard<br /> <br /> === Python ===<br /> * [http://pychecker.sourceforge.net/ PyChecker] - The original static code analyser for Python.<br /> * [http://www.logilab.org/project/pylint pylint] - A static code analyser for Python. Works as a plugin to PyDev for the Eclipse IDE.<br /> * [http://divmod.org/trac/wiki/DivmodPyflakes Pyflakes] - A lint-like tool for Python, whose primary advantage is being faster than PyChecker<br /> <br /> === Visual Basic ===<br /> * [http://www.mztools.com/index.aspx/ MZTools] - MZTools 3.0 - Free Static Code Analysis &amp; productivity enhancement tool for VB6, &amp; VBA.<br /> <br /> <br /> ==Commercial products==<br /> ===Multi-language===<br /> * [http://www.securityinnovation.com/products/checkmarx/index.shtml Checkmarx] from [[Security innovation | Security Innovation, Inc.]] - A source code analysis suite to help Java, C, C++, C#, APEX (salesforce.com) developers and auditors identify software security vulnerabilities.<br /> * [http://www.armorize.com Armorize Technologies] CodeSecure - source code scanning (PHP, J2EE, ASP, etc.) <br /> * [[Axivion Bauhaus Suite]] — a tool for C, C++, Java and Ada code that comprises various analyses such as architecture checking, interface analyses, and clone detection. <br /> * [http://www.castsoftware.com/Product/AIP.aspx CAST] — provides a tool with 25+ language / product analyzers, defect detection as well as architectural and build-over-build trend analysis.<br /> * [http://www.compuware.com/products/xpediter/1997_ENG_HTML.htm Xpediter/DevEnterprise from Compuware] — COBOL and PL/I analysis at system and program level. Uses the source code as input and provides graphical representations and tabulated output. Delivers impact analysis capabilities based on specific program variables. <br /> * [[Coverity]] Prevent — analyzes C, C++, C# and Java code. <br /> * [[DMS Software Reengineering Toolkit]] — supports custom analysis of C, C++, Java, COBOL, and many other languages. <br /> * [[Fortify Software|Fortify]] — helps developers identify software security vulnerabilities in C/C++, .NET, Java, JSP, ASP.NET, ColdFusion, &quot;Classic&quot; ASP, PHP, VB6, VBScript, JavaScript, PL/SQL, T-SQL and COBOL as well as configuration files. <br /> * [http://www.grammatech.com/products/ GrammaTech] - GrammaTech offers products for analyzing code written in C/C++ (CodeSurfer and CodeSonar) and Ada (Ada-ASSURED and Ada-Utilities) <br /> * [[Klocwork]] Insight and [[Klocwork]] Developer for Java — provides security vulnerability and defect detection as well as architectural and build-over-build trend analysis for C, C++ and Java <br /> * [[Lattix, Inc.]] LDM - Architecture and dependency analysis tool for Ada, C/C++, Java, .NET software systems. <br /> * [[LDRA Testbed]] - A software analysis and testing tool suite for C, C++, Ada83, Ada95 and Assembler (Intel, Freescale, Texas Instruments). <br /> * [http://msquaredtechnologies.com M Squared Technologies] [http://msquaredtechnologies.com/m2rsm/index.htm Resource Standard Metrics (RSM)] - source code analysis and metrics (C, Ansi C, C++, Ansi C++, C#, Java, Javascript, etc.) <br /> * [http://www.metrixware.com Metrixware] Code &amp; Architecture quality analysis &amp; dashboards (Java, Cobol, JSP, Javascript, Pacbase, C#, SAP/Abap, etc.)<br /> * [http://www.optimyth.com Optimyth Software] Own analyzers for Policy Enforcement, Dependency Mappings and Metrics Calculation for multiple languajes, such us Cobol, SAP ABAP IV, Java, HTML, JSP, XML, PL/SQL, C#, among others. Repository and Web Dashboards based on ISO 9126 with connectors to the main tools (open and commercial) used to develop and test applications.<br /> * [[Ounce Labs]] — automated source code analysis that enables organizations to identify and eliminate software security vulnerabilities in languages including Java, JSP, C/C++, C#, ASP.NET, and VB.Net. <br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/application_security_solution.jsp?itemId=322 Application Security Solutions] - Static analysis for detection and remeditation of security vulnerabilities in Java, C/C++, and .NET. OWASP and PCI DSS 6 support, as well as policy enforcement. Integrated with Eclipse and Visual Studio. <br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/application_security_solution.jsp?itemId=322 Application Development Quality Solutions- Java, C/C++, .NET] - Static analysis for Java (including JSP, XML configuration files and property files), C/C++ (including JSF and MISRA), and .Net (IL, C#, VB.NET). Integrated with Eclipse and Visual Studio. <br /> * PolySpace code verifiers by [http://www.mathworks.com/products/polyspace/index.html?s_cid=HP_FP_PS_PolySpace The MathWorks] - Software verification for C, C++ and Ada <br /> * [http://www.metrixware.com Metrixware System Code] - Static code analyzer and quality dashboard for C, C++, C#, Java, JSP, PHP and JavaScript.<br /> * [[SofCheck Inspector]] — provides static detection of logic errors, [[race condition]]s, and redundant code for [[Java (programming language)|Java]] and [[Ada (programming language)|Ada]]. <br /> * [[Sotoarc| Sotoarc/Sotograph]] - Architecture and quality in-depth analysis and monitoring for Java, C#, C and C++ <br /> * [http://www.telelogic.com/ Telelogic Logiscope] RuleChecker (coding standards checking) and Audit (metrics measurement and ISO 9126-based quality modeling) for C, C++, Ada, Java. <br /> * [[Understand]] — analyzes C,C++, Java, Ada, Fortran, Jovial, Delphi — reverse engineering of source, code navigation, and metrics tool. <br /> * [http://www.veracode.com Veracode SecurityReview] — an on-demand application security testing and remediation, C, C++, Java, .Net and other languages.<br /> <br /> ===.NET===<br /> Products covering multiple .NET languages.<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> * Compuware DevPartner - static code analyzer for .NET (C#, ASP.NET) with Visual Studio 2005 integration <br /> * [http://www.knowdotnet.com/articles/complexityanalyzer.html Complexity Analyzer] - for .NET <br /> * [[ReSharper]] - Add-on for Visual Studio 2003/2005 from the creators of [[IntelliJ IDEA]], which also provides static code analysis for C#. <br /> ====C#====<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> * [http://www.clocksharp.com ClockSharp] - checks C# code against the [http://www.tiobe.com/standards/gemrcsharpcs.pdf Philips C# coding standard]. <br /> * [http://blogs.msdn.com/sourceanalysis/ StyleCop] - Free source code style and consistency tool for C#, integrated into [[Microsoft Visual Studio]].<br /> * NStatic - deep static analysis of C# code.<br /> ====Visual Basic====<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> <br /> ===C/C++===<br /> * [http://www.abxsoft.com/codchk.htm ABRAXAS Software codeCheck] &amp;mdash; programmable C/C++ Standards Checking Tool.<br /> * [http://www.testwell.fi/cmtdesc.html CMT++] &amp;mdash; code metrics tool for C/C++ (also for [http://www.testwell.fi/cmtjdesc.html Java]). <br /> * [[google:&quot;CP+miner&quot;|CP Miner]], sold commercially as [http://patterninsight.com/products/pattern-miner.html Pattern Miner] &amp;mdash; detects copy-paste errors and provides refactoring support for C and C++ code.<br /> * [http://www.gimpel.com/html/lintinfo.htm FlexeLint and PC-Lint] &amp;mdash; Multi-platform static code analysis tools for C and C++ code. <br /> * [[Green Hills Software]] DoubleCheck &amp;mdash; static analysis for C and C++ code. <br /> * [[HP Code Advisor]] &amp;mdash; A static analysis tool for C and C++ programs <br /> * [[LDRA Testbed]] &amp;mdash; A software analysis and testing tool suite for C &amp; C++.<br /> * [[Microsoft Visual Studio]] &amp;mdash; Visual Studio Team System includes a static code analyzer. <br /> * [http://www.microsoft.com/whdc/DevTools/tools/PREfast_steps.mspx PREfast] &amp;mdash; A [[Microsoft]] tool which identifies defects in C/C++ source code. <br /> * [[QA-C]] (and QA-C++) &amp;mdash; deep static analysis of C for quality assurance and guideline enforcement. <br /> * [http://www.spa-arrow.com/english/main.asp SPARROW] &amp;mdash; Semantic-based static analysis tool for C/C++ which automatically detects buffer overruns, memory leaks, etc.<br /> * [[Viva64]] &amp;mdash; analyzes C, C++ code for detect 64-bit portability issues.<br /> * [http://www.parasoft.com/jsp/products/home.jsp?product=Insure Insure++] &amp;mdash; Static and execution time analyzer for C, C++ code hanlding memory leaks and API misuses.<br /> <br /> ===Java===<br /> * [[checKing]] - monitors the quality of software development process, including violations of coding rules for Java, JSP, Javascript, XML and HTML. <br /> * [http://www.instantiations.com/codepro/analytix/about.html CodePro Analytix] - Static code analysis for Java, integrated with Eclipse. <br /> * [http://www.enerjy.com Enerjy Software] - Metrics expert system and extendable static code analyzer Eclipse plugin for Java - compares code quality against Open Source projects <br /> * [http://www.hello2morrow.com/en/sonarj/sonarj.php SonarJ] - Architecture management solution for Java, comes with Eclipse-Plugin<br /> * [[IntelliJ IDEA]] — IDE for Java that also provides static code analysis.<br /> * [http://www.qavalidator.com/qavalidator/ QAValidator] - Checking Java code against a defined software architecture <br /> * [http://stan4j.com STAN] — Structure Analysis for Java. Eclipse integrated visual dependency analysis, quality metrics and reporting. <br /> * [[Swat4j]] — a model based, goal oriented source code auditing tool for Java. Comes as an Eclipse plug-in. <br /> * [http://www.stackframe.com/TorqueWrench/ TorqueWrench] - A static Java bytecode analysis tool by [http://www.stackframe.com/ StackFrame, LLC].<br /> * [http://www.coverity.com/html/coverity-readiness-manager-java.html Coverity Software Readiness Manager for Java ] - tool of [[Coverity]] checks code quality, risk, code coverage, complexity, architectural integrity, and more<br /> <br /> ===RPG===<br /> * [http://www.vlegaci.com/index.php?option=com_content&amp;task=view&amp;id=12&amp;Itemid=26 vLegaci's Codelyzer] - Static code analysis for large and complex legacy RPG programs for the IBM AS/400, iSeries and System i. <br /> <br /> ===Visual Basic 6===<br /> * [http://www.aivosto.com/project/project.html Aivosto Oy's] - Project Analyzer - Static code analysis tool for VBA, and VB6/VB.net <br /> * [http://www.mztools.com/index.aspx/ MZTools] - MZTools 6.0 - Static Code Analysis &amp; productivity enhancement tool for VB.net, VB6, &amp; VBA.<br /> <br /> ===Fortran===<br /> * [http://www.codework.com/forcheck/product.html ForCheck] — analyzes of FORTRAN 66, FORTRAN 77, FORTRAN 90, HPF, FORTRAN 95 <br /> <br /> ===SQL===<br /> * [http://www.ubitsoft.com/products/sqlenlight/sqlenlight.php SQL Enlight] - Provides static code analysis for [[Transact-SQL]] and is impelmented as an add-on for [[Visual Studio]] 2005/2008 and [[SQL Server Management Studio]] 2005/2008.<br /> * [http://www.toadsoft.com/toad_oracle.htm CodeXpert] - Toad for Oracle includes a static analyzer for Oracle PL/SQL. Comparable to Findbugs for Java.<br /> <br /> ===Scripting languages===<br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/soa_solution.jsp?itemId=319 SOA Quality Solutions] Static analysis for SOA and RIA (WSDL, WS-*, XML, JavaScript, HTML, Accessibility/Section 508, etc.). <br /> * [http://www.syhunt.com/sandcat4php Sandcat for PHP] - Static source code analysis and hardening tool for PHP<br /> <br /> <br /> ===Uncategorized=== &lt;!-- Please organize by language above when appropriate --&gt;<br /> * [http://www.anticipatingminds.com/Content/products/devMetrics/devMetrics.aspx DevMetrics] — commercial <br /> * [https://h10078.www1.hp.com/cda/hpms/display/main/hpms_content.jsp?zn=bto&amp;cp=1-11-201-200%5E9564_4000_100__ HP DevInspect] - simplifies security during development by automatically finding and fixing application vulnerabilities in ASP.NET and Java based web applications. <br /> * [http://www.ndepend.com/ NDepend] — A comprehensive analysis and reporting tool.<br /> * [http://www.automationsquare.com/plc-checker.html PLC Checker] — A coding rules verification tools for PLC programs. <br /> * [http://www.reasoning.com Reasoning, Inc.] offers a defect-finding service using an internal tool, which found defects in [[Apache Tomcat]] missed by an earlier version of [[FindBugs]]. &lt;ref&gt;“Finding More Null Pointer Bugs, But Not Too Many,” [[David Hovemeyer]] &amp; [[William Pugh]], http://findbugs.cs.umd.edu/papers/MoreNullPointerBugs07.pdf&lt;/ref&gt; <br /> * [[SemmleCode]] — object oriented code queries for static program analysis. <br /> * [[Structure101]] - For understanding, analyzing, measuring and controlling the quality of your Software Architecture as it evolves over time. <br /> * [http://www.headwaysoftware.com/products/structure101/g/index.php Structure101g] - A generic version of Structure101 - build your own flavor to support any programming language or dependency data.<br /> <br /> ==Formal methods tools==<br /> <br /> Tools that use a [[formal methods]] approach to static analysis (e.g., using static [[assertion (computing)|program assertion]]s):<br /> <br /> * [[ESC/Java]] and [[ESC/Java2]] — based on [[Java Modeling Language]], an enriched version of Java.<br /> * [[SofCheck Inspector]] - statically determines and documents [[precondition|pre]]- and [[postcondition]]s for [[Java (programming language)|Java]] methods; statically checks [[precondition]]s at all call sites; also supports [[Ada (programming language)|Ada]].<br /> * [[SPARK Toolset]] including the [[SPARK Examiner]] — based on the [[SPARK programming language]], a subset of [[Ada (programming language)|Ada]].<br /> * [http://sdg.csail.mit.edu/forge Forge] - bounded verification of [[Java (programming language)|Java]] programs against specification in the [[Java Modeling Language]].<br /> <br /> ==External links==<br /> * [http://www.spinroot.com/static/ List of static source code analysis tools for C]<br /> * [http://samate.nist.gov/index.php/Source_Code_Security_Analyzers SAMATE-Source Code Security Analyzers]<br /> * [http://www.eclipseplugincentral.com/Web_Links-index-req-viewcatlink-cid-14-orderby-rating.html List of Java static code analysis plugins for Eclipse]<br /> * [http://www.cs.umd.edu/~jfoster/papers/issre04.pdf “A Comparison of Bug Finding Tools for Java”], by Nick Rutar, Christian Almazan, and Jeff Foster, [[University of Maryland, College Park|University of Maryland]]. Compares Bandera, [[ESC/Java]] 2, [[FindBugs]], [[JLint]], and PMD.<br /> * [http://www.oreillynet.com/digitalmedia/blog/2004/03/minireview_of_java_bug_finders.html “Mini-review of Java Bug Finders”], by Rick Jelliffe, [[O'Reilly Media]].<br /> <br /> ==See also==<br /> *[[List of code quality management dashboards]]<br /> *[[Dynamic code analysis]]<br /> <br /> ==References==<br /> {{reflist}}<br /> <br /> [[Category:Static code analysis]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Liste_von_Werkzeugen_zur_statischen_Codeanalyse&diff=118340149 Liste von Werkzeugen zur statischen Codeanalyse 2008-11-11T04:57:08Z <p>DatabACE: </p> <hr /> <div>{{Cleanup-list|date=January 2008}}<br /> <br /> This is a list of significant tools for [[static code analysis]].<br /> <br /> {{Portal|Software Testing}}<br /> ==Historical products==<br /> * [[lint (software)|Lint]] — the original static code analyzer of C code.<br /> <br /> ==Open-source or Noncommercial products==<br /> <br /> === Multi-language ===<br /> <br /> * [http://www.campwoodsw.com/sourcemonitor.html Source Monitor]<br /> <br /> === .NET (C#, VB.NET and all .NET compatible languages) ===<br /> * [http://www.codeplex.com/reflectoraddins/Wiki/View.aspx?title=CodeMetrics&amp;referringTitle=Home Reflector.CodeMetrics] — (an add-in for [[.NET_Reflector]]) <br /> * [http://www.serviceframework.com/jwss/utility,ccmetrics,utility.aspx CCMetrics]<br /> * [https://sourceforge.net/projects/crplugin/ CRPlugin] (plugin for [http://www.devexpress.com/Downloads/NET/DXCore/ DxCore]) <br /> * [[FxCop]] — Free static analysis for Microsoft .NET programs that compile to [[Common Intermediate Language|CIL]]. Standalone and integrated in some [[Microsoft Visual Studio]] editions. From Microsoft.<br /> * [http://www.1bot.com/ vil]<br /> * [http://www.mono-project.com/Gendarme Gendarme] - A Free static analysis tool from the Mono project<br /> <br /> === Java ===<br /> * [http://bandera.projects.cis.ksu.edu/ Bandera] — analyzer for Java<br /> * [http://checkstyle.sourceforge.net/ Checkstyle] — analyze Java and apply coding standard<br /> * [http://sourceforge.net/projects/classycle/ Classycle] — analyze Java class cycles and class and package dependencies (Layers)<br /> * [[FindBugs]] — an open-source static bytecode analyzer for Java (based on [[Jakarta Project|Jakarta]] [[Byte Code Engineering Library|BCEL]]).<br /> * [http://jlint.sourceforge.net/ Jlint] — for Java<br /> * [[PMD (software)]] — a static ruleset based Java source code analyzer that identifies potential problems.<br /> * [http://people.clarkson.edu/~dhou/projects/SCL/ SCL] — A Java program analysis tool that is programmable with SCL (Structural Constraint Language).<br /> * [http://www.sable.mcgill.ca/soot/ Soot] — A Java program analysis and compiler optimization framework<br /> * [http://sourceforge.net/projects/hammurapi/ Hammurapi] — Customizable static code analysis tool for java (based on coding standards) that can also generate metrics report<br /> * [http://www.ucdetector.org/ UCDetector] — Unnecessary Code Detector: Eclipse PlugIn to find unnecessary (dead) public java code<br /> * [http://www.alphaworks.ibm.com/tech/sa4j sa4j] — Structural dependencies analyzes, measures stability, detects structural &quot;anti-patterns&quot;, impact analysis on dependencies, and more<br /> * [http://spoon.gforge.inria.fr/ Spoon] — Easily create your own custom analysis in Java<br /> <br /> === C ===<br /> * [http://www.cs.umd.edu/~jfoster/cqual/ CQual] — A tool for adding type qualifiers in C.<br /> * [http://sourcenav.sourceforge.net/ SNav] — Red Hat Source Navigator.<br /> * [[Sparse]] — a tool designed to find faults in the [[Linux]] kernel.<br /> * [[Splint (programming tool)|Splint]] — an open source evolved version of Lint (C language).<br /> * [http://frama-c.cea.fr Frama-C] — Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.<br /> * [http://www.astree.ens.fr Astrée] - A tool for proving the absence of runtime errors (overflows, failed assertions, etc.), taylored to critical embedded control code (was applied to [[Airbus A340]] and [[Airbus A380|A380]] avionics code)<br /> * [http://deputy.cs.berkeley.edu/ Deputy] - Deputy is a C compiler that is capable of preventing common C programming errors, including out-of-bounds memory accesses as well as many other common type-safety errors.<br /> * [http://manju.cs.berkeley.edu/ccured/ CCured] - CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.<br /> * [http://www.fortify.com/security-resources/rats.jsp RATS] - RATS is a tool for scanning C, C++, Perl, PHP and Python source code and flagging common security related programming errors such as buffer overflows and TOCTOU (Time Of Check, Time Of Use) race conditions.<br /> * [http://clang.llvm.org/StaticAnalysis.html LLVM/Clang Static Analyzer] - standalone tool that find bugs in C and Objective-C programs.<br /> * [http://www.cs.berkeley.edu/~daw/mops/ MOPS] - MOPS is a tool for finding security bugs in C programs and for verifying conformance to rules of defensive programming.<br /> * [http://www.cs.berkeley.edu/~daw/boon/ BOON] - BOON is a tool for automatically finding buffer overrun vulnerabilities in C source code.<br /> * [http://mtc.epfl.ch/software-tools/blast/ BLAST] - BLAST is a software model checker for C programs.<br /> <br /> <br /> <br /> === Fortran ===<br /> * [http://www.dsm.fordham.edu/~ftnchek/ ftnchek] — static analyzer for Fortran 77 programs<br /> * [http://g95-xml.sourceforge.net/ g95-xml] — code parser toolkit for Fortran 95<br /> <br /> === JavaScript ===<br /> * [http://www.jslint.com/ JsLint] - online analyzer for JavaScript<br /> <br /> === Perl ===<br /> * [http://search.cpan.org/dist/Perl-Critic Perl::Critic] - a static code analysis tool for [[Perl]]<br /> * [http://www.fortify.com/security-resources/rats.jsp RATS] - RATS is a tool for scanning C, C++, Perl, PHP and Python source code and flagging common security related programming errors such as buffer overflows and TOCTOU (Time Of Check, Time Of Use) race conditions.<br /> * [http://search.cpan.org/dist/Perl-Metrics-Simple/bin/countperl countperl] command from Perl::Metrics::Simple module - code metrics include [[Cyclomatic complexity]]<br /> * [http://search.cpan.org/~rgarcia/perl-5.10.0/ext/B/B/Xref.pm B::Xref] module is used to generate a cross reference listing of all definitions and uses of variables, subroutines and formats in a Perl program.<br /> * [http://search.cpan.org/~kstar/B-Fathom-0.07/Fathom.pm B::Fathom] - a module to evaluate the readability of Perl code<br /> * [http://perltidy.sourceforge.net/ perltidy] - script which indents and reformats Perl scripts to make them easier to read<br /> <br /> === PHP ===<br /> * [http://pixybox.seclab.tuwien.ac.at/pixy/ Pixy] — a PHP 4 source code scanner for detection of XSS and SQL injection vulnerabilities.<br /> * [http://code.google.com/p/smarty-lint/ smarty-lint] - a lint implementation for the popular templating engine, Smarty.<br /> * [http://pear.php.net/package/PHP_CodeSniffer PEAR PHP_CodeSniffer] - Checks for compliance with the PEAR coding standard<br /> <br /> === Python ===<br /> * [http://pychecker.sourceforge.net/ PyChecker] - The original static code analyser for Python.<br /> * [http://www.logilab.org/project/pylint pylint] - A static code analyser for Python. Works as a plugin to PyDev for the Eclipse IDE.<br /> * [http://divmod.org/trac/wiki/DivmodPyflakes Pyflakes] - A lint-like tool for Python, whose primary advantage is being faster than PyChecker<br /> <br /> === Visual Basic ===<br /> * [http://www.mztools.com/index.aspx/ MZTools] - MZTools 3.0 - Free Static Code Analysis &amp; productivity enhancement tool for VB6, &amp; VBA.<br /> <br /> === Multiple languages ===<br /> <br /> * [[Rough Auditing Tool for Security|RATS]] — Rough Auditing Tool for Security, which can scan C, C++, Perl, PHP and Python source code.<br /> * [[Yasca]] - Yet Another Source Code Analyzer, a plugin-based framework for scanning arbitrary file types, with plugins for scanning C, C++, Java, and JavaScript. Integrates [[FindBugs]], [http://artho.com/jlint/ Jlint], and [[PMD_(software)|PMD]].<br /> <br /> ==Commercial products==<br /> ===.NET===<br /> Products covering multiple .NET languages.<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> * [http://www.securityinnovation.com/products/checkmarx/index.shtml Checkmarx] from [[Security innovation | Security Innovation, Inc.]] - A source code analysis suite to help developers and auditors identify software security vulnerabilities.<br /> * Compuware DevPartner - static code analyzer for .NET (C#, ASP.NET) with Visual Studio 2005 integration <br /> * [http://www.knowdotnet.com/articles/complexityanalyzer.html Complexity Analyzer] - for .NET <br /> * [[ReSharper]] - Add-on for Visual Studio 2003/2005 from the creators of [[IntelliJ IDEA]], which also provides static code analysis for C#. <br /> ====C#====<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> * [http://www.clocksharp.com ClockSharp] - checks C# code against the [http://www.tiobe.com/standards/gemrcsharpcs.pdf Philips C# coding standard]. <br /> * [http://blogs.msdn.com/sourceanalysis/ StyleCop] - Free source code style and consistency tool for C#, integrated into [[Microsoft Visual Studio]].<br /> * NStatic - deep static analysis of C# code.<br /> ====Visual Basic====<br /> * [http://submain.com/codeit.right CodeIt.Right] - combines Static Code Analysis and automatic Refactoring to best practices in one product. CodeIt.Right will automatically correct code errors and violations. C# and VB.NET<br /> <br /> ===C/C++===<br /> * [http://www.abxsoft.com/codchk.htm ABRAXAS Software codeCheck] &amp;mdash; programmable C/C++ Standards Checking Tool.<br /> * [http://www.securityinnovation.com/products/checkmarx/index.shtml Checkmarx] from [[Security innovation | Security Innovation, Inc.]] - A source code analysis suite to help developers and auditors identify software security vulnerabilities.<br /> * [http://www.testwell.fi/cmtdesc.html CMT++] &amp;mdash; code metrics tool for C/C++ (also for [http://www.testwell.fi/cmtjdesc.html Java]). <br /> * [[google:&quot;CP+miner&quot;|CP Miner]], sold commercially as [http://patterninsight.com/products/pattern-miner.html Pattern Miner] &amp;mdash; detects copy-paste errors and provides refactoring support for C and C++ code.<br /> * [http://www.gimpel.com/html/lintinfo.htm FlexeLint and PC-Lint] &amp;mdash; Multi-platform static code analysis tools for C and C++ code. <br /> * [[Green Hills Software]] DoubleCheck &amp;mdash; static analysis for C and C++ code. <br /> * [[HP Code Advisor]] &amp;mdash; A static analysis tool for C and C++ programs <br /> * [[LDRA Testbed]] &amp;mdash; A software analysis and testing tool suite for C &amp; C++.<br /> * [[Microsoft Visual Studio]] &amp;mdash; Visual Studio Team System includes a static code analyzer. <br /> * [http://www.microsoft.com/whdc/DevTools/tools/PREfast_steps.mspx PREfast] &amp;mdash; A [[Microsoft]] tool which identifies defects in C/C++ source code. <br /> * [[QA-C]] (and QA-C++) &amp;mdash; deep static analysis of C for quality assurance and guideline enforcement. <br /> * [http://www.spa-arrow.com/english/main.asp SPARROW] &amp;mdash; Semantic-based static analysis tool for C/C++ which automatically detects buffer overruns, memory leaks, etc.<br /> * [[Viva64]] &amp;mdash; analyzes C, C++ code for detect 64-bit portability issues.<br /> * [http://www.parasoft.com/jsp/products/home.jsp?product=Insure Insure++] &amp;mdash; Static and execution time analyzer for C, C++ code hanlding memory leaks and API misuses.<br /> <br /> ===Java===<br /> * [http://www.securityinnovation.com/products/checkmarx/index.shtml Checkmarx] from [[Security innovation | Security Innovation, Inc.]] - A source code analysis suite to help developers and auditors identify software security vulnerabilities.<br /> * [[checKing]] - monitors the quality of software development process, including violations of coding rules for Java, JSP, Javascript, XML and HTML. <br /> * [http://www.instantiations.com/codepro/analytix/about.html CodePro Analytix] - Static code analysis for Java, integrated with Eclipse. <br /> * [http://www.enerjy.com Enerjy Software] - Metrics expert system and extendable static code analyzer Eclipse plugin for Java - compares code quality against Open Source projects <br /> * [http://www.hello2morrow.com/en/sonarj/sonarj.php SonarJ] - Architecture management solution for Java, comes with Eclipse-Plugin<br /> * [[IntelliJ IDEA]] — IDE for Java that also provides static code analysis.<br /> * [http://www.qavalidator.com/qavalidator/ QAValidator] - Checking Java code against a defined software architecture <br /> * [http://stan4j.com STAN] — Structure Analysis for Java. Eclipse integrated visual dependency analysis, quality metrics and reporting. <br /> * [[Swat4j]] — a model based, goal oriented source code auditing tool for Java. Comes as an Eclipse plug-in. <br /> * [http://www.stackframe.com/TorqueWrench/ TorqueWrench] - A static Java bytecode analysis tool by [http://www.stackframe.com/ StackFrame, LLC].<br /> * [http://www.coverity.com/html/coverity-readiness-manager-java.html Coverity Software Readiness Manager for Java ] - tool of [[Coverity]] checks code quality, risk, code coverage, complexity, architectural integrity, and more<br /> <br /> ===RPG===<br /> * [http://www.vlegaci.com/index.php?option=com_content&amp;task=view&amp;id=12&amp;Itemid=26 vLegaci's Codelyzer] - Static code analysis for large and complex legacy RPG programs for the IBM AS/400, iSeries and System i. <br /> <br /> ===Visual Basic 6===<br /> * [http://www.aivosto.com/project/project.html Aivosto Oy's] - Project Analyzer - Static code analysis tool for VBA, and VB6/VB.net <br /> * [http://www.mztools.com/index.aspx/ MZTools] - MZTools 6.0 - Static Code Analysis &amp; productivity enhancement tool for VB.net, VB6, &amp; VBA.<br /> <br /> ===Fortran===<br /> * [http://www.codework.com/forcheck/product.html ForCheck] — analyzes of FORTRAN 66, FORTRAN 77, FORTRAN 90, HPF, FORTRAN 95 <br /> <br /> ===SQL===<br /> * [http://www.ubitsoft.com/products/sqlenlight/sqlenlight.php SQL Enlight] - Provides static code analysis for [[Transact-SQL]] and is impelmented as an add-on for [[Visual Studio]] 2005/2008 and [[SQL Server Management Studio]] 2005/2008.<br /> * [http://www.toadsoft.com/toad_oracle.htm CodeXpert] - Toad for Oracle includes a static analyzer for Oracle PL/SQL. Comparable to Findbugs for Java.<br /> <br /> ===Scripting languages===<br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/soa_solution.jsp?itemId=319 SOA Quality Solutions] Static analysis for SOA and RIA (WSDL, WS-*, XML, JavaScript, HTML, Accessibility/Section 508, etc.). <br /> * [http://www.syhunt.com/sandcat4php Sandcat for PHP] - Static source code analysis and hardening tool for PHP<br /> <br /> ===Multi-language===<br /> * [http://www.securityinnovation.com/products/checkmarx/index.shtml Checkmarx] from [[Security innovation | Security Innovation, Inc.]] - A source code analysis suite to help Java, C, C++, C#, APEX (salesforce.com) developers and auditors identify software security vulnerabilities.<br /> * [http://www.armorize.com Armorize Technologies] CodeSecure - source code scanning (PHP, J2EE, ASP, etc.) <br /> * [[Axivion Bauhaus Suite]] — a tool for C, C++, Java and Ada code that comprises various analyses such as architecture checking, interface analyses, and clone detection. <br /> * [http://www.castsoftware.com/Product/AIP.aspx CAST] — provides a tool with 25+ language / product analyzers, defect detection as well as architectural and build-over-build trend analysis.<br /> * [http://www.compuware.com/products/xpediter/1997_ENG_HTML.htm Xpediter/DevEnterprise from Compuware] — COBOL and PL/I analysis at system and program level. Uses the source code as input and provides graphical representations and tabulated output. Delivers impact analysis capabilities based on specific program variables. <br /> * [[Coverity]] Prevent — analyzes C, C++, C# and Java code. <br /> * [[DMS Software Reengineering Toolkit]] — supports custom analysis of C, C++, Java, COBOL, and many other languages. <br /> * [[Fortify Software|Fortify]] — helps developers identify software security vulnerabilities in C/C++, .NET, Java, JSP, ASP.NET, ColdFusion, &quot;Classic&quot; ASP, PHP, VB6, VBScript, JavaScript, PL/SQL, T-SQL and COBOL as well as configuration files. <br /> * [http://www.grammatech.com/products/ GrammaTech] - GrammaTech offers products for analyzing code written in C/C++ (CodeSurfer and CodeSonar) and Ada (Ada-ASSURED and Ada-Utilities) <br /> * [[Klocwork]] Insight and [[Klocwork]] Developer for Java — provides security vulnerability and defect detection as well as architectural and build-over-build trend analysis for C, C++ and Java <br /> * [[Lattix, Inc.]] LDM - Architecture and dependency analysis tool for Ada, C/C++, Java, .NET software systems. <br /> * [[LDRA Testbed]] - A software analysis and testing tool suite for C, C++, Ada83, Ada95 and Assembler (Intel, Freescale, Texas Instruments). <br /> * [http://msquaredtechnologies.com M Squared Technologies] [http://msquaredtechnologies.com/m2rsm/index.htm Resource Standard Metrics (RSM)] - source code analysis and metrics (C, Ansi C, C++, Ansi C++, C#, Java, Javascript, etc.) <br /> * [http://www.metrixware.com Metrixware] Code &amp; Architecture quality analysis &amp; dashboards (Java, Cobol, JSP, Javascript, Pacbase, C#, SAP/Abap, etc.)<br /> * [http://www.optimyth.com Optimyth Software] Own analyzers for Policy Enforcement, Dependency Mappings and Metrics Calculation for multiple languajes, such us Cobol, SAP ABAP IV, Java, HTML, JSP, XML, PL/SQL, C#, among others. Repository and Web Dashboards based on ISO 9126 with connectors to the main tools (open and commercial) used to develop and test applications.<br /> * [[Ounce Labs]] — automated source code analysis that enables organizations to identify and eliminate software security vulnerabilities in languages including Java, JSP, C/C++, C#, ASP.NET, and VB.Net. <br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/application_security_solution.jsp?itemId=322 Application Security Solutions] - Static analysis for detection and remeditation of security vulnerabilities in Java, C/C++, and .NET. OWASP and PCI DSS 6 support, as well as policy enforcement. Integrated with Eclipse and Visual Studio. <br /> * [[Parasoft]] [http://www.parasoft.com/jsp/solutions/application_security_solution.jsp?itemId=322 Application Development Quality Solutions- Java, C/C++, .NET] - Static analysis for Java (including JSP, XML configuration files and property files), C/C++ (including JSF and MISRA), and .Net (IL, C#, VB.NET). Integrated with Eclipse and Visual Studio. <br /> * PolySpace code verifiers by [http://www.mathworks.com/products/polyspace/index.html?s_cid=HP_FP_PS_PolySpace The MathWorks] - Software verification for C, C++ and Ada <br /> * [http://www.metrixware.com Metrixware System Code] - Static code analyzer and quality dashboard for C, C++, C#, Java, JSP, PHP and JavaScript.<br /> * [[SofCheck Inspector]] — provides static detection of logic errors, [[race condition]]s, and redundant code for [[Java (programming language)|Java]] and [[Ada (programming language)|Ada]]. <br /> * [[Sotoarc| Sotoarc/Sotograph]] - Architecture and quality in-depth analysis and monitoring for Java, C#, C and C++ <br /> * [http://www.telelogic.com/ Telelogic Logiscope] RuleChecker (coding standards checking) and Audit (metrics measurement and ISO 9126-based quality modeling) for C, C++, Ada, Java. <br /> * [[Understand]] — analyzes C,C++, Java, Ada, Fortran, Jovial, Delphi — reverse engineering of source, code navigation, and metrics tool. <br /> * [http://www.veracode.com Veracode SecurityReview] — an on-demand application security testing and remediation, C, C++, Java, .Net and other languages.<br /> <br /> ===Uncategorized=== &lt;!-- Please organize by language above when appropriate --&gt;<br /> * [http://www.anticipatingminds.com/Content/products/devMetrics/devMetrics.aspx DevMetrics] — commercial <br /> * [https://h10078.www1.hp.com/cda/hpms/display/main/hpms_content.jsp?zn=bto&amp;cp=1-11-201-200%5E9564_4000_100__ HP DevInspect] - simplifies security during development by automatically finding and fixing application vulnerabilities in ASP.NET and Java based web applications. <br /> * [http://www.ndepend.com/ NDepend] — A comprehensive analysis and reporting tool.<br /> * [http://www.automationsquare.com/plc-checker.html PLC Checker] — A coding rules verification tools for PLC programs. <br /> * [http://www.reasoning.com Reasoning, Inc.] offers a defect-finding service using an internal tool, which found defects in [[Apache Tomcat]] missed by an earlier version of [[FindBugs]]. &lt;ref&gt;“Finding More Null Pointer Bugs, But Not Too Many,” [[David Hovemeyer]] &amp; [[William Pugh]], http://findbugs.cs.umd.edu/papers/MoreNullPointerBugs07.pdf&lt;/ref&gt; <br /> * [[SemmleCode]] — object oriented code queries for static program analysis. <br /> * [[Structure101]] - For understanding, analyzing, measuring and controlling the quality of your Software Architecture as it evolves over time. <br /> * [http://www.headwaysoftware.com/products/structure101/g/index.php Structure101g] - A generic version of Structure101 - build your own flavor to support any programming language or dependency data.<br /> <br /> ==Formal methods tools==<br /> <br /> Tools that use a [[formal methods]] approach to static analysis (e.g., using static [[assertion (computing)|program assertion]]s):<br /> <br /> * [[ESC/Java]] and [[ESC/Java2]] — based on [[Java Modeling Language]], an enriched version of Java.<br /> * [[SofCheck Inspector]] - statically determines and documents [[precondition|pre]]- and [[postcondition]]s for [[Java (programming language)|Java]] methods; statically checks [[precondition]]s at all call sites; also supports [[Ada (programming language)|Ada]].<br /> * [[SPARK Toolset]] including the [[SPARK Examiner]] — based on the [[SPARK programming language]], a subset of [[Ada (programming language)|Ada]].<br /> * [http://sdg.csail.mit.edu/forge Forge] - bounded verification of [[Java (programming language)|Java]] programs against specification in the [[Java Modeling Language]].<br /> <br /> ==External links==<br /> * [http://www.spinroot.com/static/ List of static source code analysis tools for C]<br /> * [http://samate.nist.gov/index.php/Source_Code_Security_Analyzers SAMATE-Source Code Security Analyzers]<br /> * [http://www.eclipseplugincentral.com/Web_Links-index-req-viewcatlink-cid-14-orderby-rating.html List of Java static code analysis plugins for Eclipse]<br /> * [http://www.cs.umd.edu/~jfoster/papers/issre04.pdf “A Comparison of Bug Finding Tools for Java”], by Nick Rutar, Christian Almazan, and Jeff Foster, [[University of Maryland, College Park|University of Maryland]]. Compares Bandera, [[ESC/Java]] 2, [[FindBugs]], [[JLint]], and PMD.<br /> * [http://www.oreillynet.com/digitalmedia/blog/2004/03/minireview_of_java_bug_finders.html “Mini-review of Java Bug Finders”], by Rick Jelliffe, [[O'Reilly Media]].<br /> <br /> ==See also==<br /> *[[List of code quality management dashboards]]<br /> *[[Dynamic code analysis]]<br /> <br /> ==References==<br /> {{reflist}}<br /> <br /> [[Category:Static code analysis]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318647 Vertica 2008-08-29T13:25:20Z <p>DatabACE: Removed Bill Walter&#039;s editorial--people can follow his link to the court docs to learn more</p> <hr /> <div>{{For|the [[genus]] of [[grass skipper]] [[butterflies]]|Vertica (butterfly)}}<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Billerica, MA]] |<br /> products = Vertica Analytic Database, Vertica Analytic Database Appliance, Vertica for the Cloud |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is an analytic database management software company&lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt;. The grid-based, column-oriented, Vertica Analytic Database is designed to manage large, fast-growing volumes of data and provide very fast query performance when used for [[data warehouse]]s and other query-intensive applications. Its design features include:<br /> <br /> * [[column-oriented database|Column-oriented storage organization]], which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increase the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * [[Data compression|Compression]], which reduces storage costs and I/O bandwidth. High compression is possible because columns of homogeneous datatype are stored together and because updates to the main store are batched.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * [[Shared nothing architecture]], which reduces system contention for shared resources and allows gradual degradation of performance in the face of hardware failure.<br /> <br /> The Vertica Analytic Database runs on [[Grid_computing|grids]] of [[Linux]]-based [[Commodity_computing|commodity servers]]. It is also available as an analytic database [[Data_warehouse_appliance|appliance]] through HP resellers, and as a hosted DBMS provisioned by and running on the [[Amazon_ec2|Amazon Elastic Compute Cloud]].<br /> <br /> Several of Vertica’s product innovations were originally prototyped within the [[C-Store]] [[column-oriented database]] database, an academic [[open source]] research project at MIT and other universities.<br /> <br /> The overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology. Vertica's advistory board includes former [[Oracle]] executives Jerry Held and Ray Lane, as well as &quot;Father of [[IBM_DB2|DB2]]&quot; and former IBM CTO, Don Haderle and former [[Teradata]] general manager, Bruce Armstrong.<br /> <br /> Sybase Inc. has filed an intellectual property patent infringement lawsuit against Vertica. http://dockets.justia.com/docket/court-txedce/case_no-6:2008cv00024/case_id-107871/<br /> <br /> <br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[Sybase_IQ]]<br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://www.vertica.com/product/resourcelibrary/comcast Comcast describes its use of Vertica]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> [[Category: Software companies of the United States]]<br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318646 Vertica 2008-08-29T03:20:05Z <p>DatabACE: </p> <hr /> <div>{{For|the [[genus]] of [[grass skipper]] [[butterflies]]|Vertica (butterfly)}}<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Billerica, MA]] |<br /> products = Vertica Analytic Database, Vertica Analytic Database Appliance, Vertica for the Cloud |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is an analytic database management software company&lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt;. The grid-based, column-oriented, Vertica Analytic Database is designed to manage large, fast-growing volumes of data and provide very fast query performance when used for [[data warehouse]]s and other query-intensive applications. Its design features include:<br /> <br /> * [[column-oriented database|Column-oriented storage organization]], which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increase the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * [[Data compression|Compression]], which reduces storage costs and I/O bandwidth. High compression is possible because columns of homogeneous datatype are stored together and because updates to the main store are batched.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * [[Shared nothing architecture]], which reduces system contention for shared resources and allows gradual degradation of performance in the face of hardware failure.<br /> <br /> The Vertica Analytic Database runs on [[Grid_computing|grids]] of [[Linux]]-based [[Commodity_computing|commodity servers]]. It is also available as an analytic database [[Data_warehouse_appliance|appliance]] through HP resellers, and as a hosted DBMS provisioned by and running on the [[Amazon_ec2|Amazon Elastic Compute Cloud]].<br /> <br /> Several of Vertica’s product innovations were originally prototyped within the [[C-Store]] [[column-oriented database]] database, an academic [[open source]] research project at MIT and other universities.<br /> <br /> The overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology. Vertica's advistory board includes former [[Oracle]] executives Jerry Held and Ray Lane, as well as &quot;Father of [[IBM_DB2|DB2]]&quot; and former IBM CTO, Don Haderle and former [[Teradata]] general manager, Bruce Armstrong.<br /> <br /> Sybase Inc. has filed an intellectual property patent infringement lawsuit against Vertica. http://dockets.justia.com/docket/court-txedce/case_no-6:2008cv00024/case_id-107871/<br /> <br /> In its complaint, filed Wednesday January 30, 2008 with the U.S. District Court for the Eastern District of Texas, Sybase accused Vertica of willfully infringing the patent, both literally and under the doctrine of equivalents, through the sale of its Vertica Database.<br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[KDB (database)|kdb]] <br /> * [[Sybase_IQ]]<br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://www.vertica.com/product/resourcelibrary/comcast Comcast describes its use of Vertica]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> [[Category: Software companies of the United States]]<br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318645 Vertica 2008-08-29T03:18:44Z <p>DatabACE: </p> <hr /> <div>{{For|the [[genus]] of [[grass skipper]] [[butterflies]]|Vertica (butterfly)}}<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Billerica, MA]] |<br /> products = Vertica Analytic Database, Vertica Analytic Database Appliance, Vertica for the Cloud |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is an analytic database management software company&lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt;. The grid-based, column-oriented, Vertica Analytic Database is designed to manage large, fast-growing volumes of data and provide very fast query performance when used for [[data warehouse]]s and other query-intensive applications. Its design features include:<br /> <br /> * [[column-oriented database|Column-oriented storage organization]], which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increase the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * [[Data compression|Compression]], which reduces storage costs and I/O bandwidth. High compression is possible because columns of homogeneous datatype are stored together and because updates to the main store are batched.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * [[Shared nothing architecture]], which reduces system contention for shared resources and allows gradual degradation of performance in the face of hardware failure.<br /> <br /> The Vertica Analytic Database runs on [[Grid_computing|grids]] of [[Linux]]-based [[Commodity_computing|commodity servers]]. It is also available as an analytic database [[Data_warehouse_appliance|appliance]] through HP resellers, and as a hosted DBMS provisioned by and running on the [[Amazon_ec2|Amazon Elastic Compute Cloud]].<br /> <br /> Several of Vertica’s product innovations were originally prototyped within the [[C-Store]] [[column-oriented database]] database, an academic [[open source]] research project at MIT and other universities.<br /> <br /> The overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology. Vertica's advistory board includes former [[Oracle]] executives Jerry Held and Ray Lane, as well as &quot;Father of [[IBM_DB2|DB2]]&quot; and former IBM CTO, Don Haderle and former [[Teradata]] general manager, Bruce Armstrong.<br /> <br /> Sybase Inc. has filed an intellectual property patent infringement lawsuit against Vertica. http://dockets.justia.com/docket/court-txedce/case_no-6:2008cv00024/case_id-107871/<br /> <br /> In its complaint, filed Wednesday January 30, 2008 with the U.S. District Court for the Eastern District of Texas, Sybase accused Vertica of willfully infringing the patent, both literally and under the doctrine of equivalents, through the sale of its Vertica Database.<br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[KDB (database)|kdb]] <br /> * [[Sybase_IQ]]<br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://www.vertica.com/product/resourcelibrary/comcast [[Comcast]] describes its use of Vertica]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> [[Category: Software companies of the United States]]<br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318644 Vertica 2008-08-29T03:17:37Z <p>DatabACE: </p> <hr /> <div>{{For|the [[genus]] of [[grass skipper]] [[butterflies]]|Vertica (butterfly)}}<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Billerica, MA]] |<br /> products = Vertica Analytic Database, Vertica Analytic Database appliance, Vertica for the Cloud |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is an analytic database management software company&lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt;. The grid-based, column-oriented, Vertica Analytic Database is designed to manage large, fast-growing volumes of data and provide very fast query performance when used for [[data warehouse]]s and other query-intensive applications. Its design features include:<br /> <br /> * [[column-oriented database|Column-oriented storage organization]], which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increase the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * [[Data compression|Compression]], which reduces storage costs and I/O bandwidth. High compression is possible because columns of homogeneous datatype are stored together and because updates to the main store are batched.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * [[Shared nothing architecture]], which reduces system contention for shared resources and allows gradual degradation of performance in the face of hardware failure.<br /> <br /> The Vertica Analytic Database runs on [[Grid_computing|grids]] of [[Linux]]-based [[Commodity_computing|commodity servers]]. It is also available as an analytic database [[Data_warehouse_appliance|appliance]] through HP resellers, and as a hosted DBMS provisioned by and running on the [[Amazon_ec2|Amazon Elastic Compute Cloud]].<br /> <br /> Several of Vertica’s product innovations were originally prototyped within the [[C-Store]] [[column-oriented database]] database, an academic [[open source]] research project at MIT and other universities.<br /> <br /> The overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology. Vertica's advistory board includes former [[Oracle]] executives Jerry Held and Ray Lane, as well as &quot;Father of [[IBM_DB2|DB2]]&quot; and former IBM CTO, Don Haderle and former [[Teradata]] general manager, Bruce Armstrong.<br /> <br /> Sybase Inc. has filed an intellectual property patent infringement lawsuit against Vertica. http://dockets.justia.com/docket/court-txedce/case_no-6:2008cv00024/case_id-107871/<br /> <br /> In its complaint, filed Wednesday January 30, 2008 with the U.S. District Court for the Eastern District of Texas, Sybase accused Vertica of willfully infringing the patent, both literally and under the doctrine of equivalents, through the sale of its Vertica Database.<br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[KDB (database)|kdb]] <br /> * [[Sybase_IQ]]<br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://www.vertica.com/product/resourcelibrary/comcast [[Comcast]] describes its use of Vertica]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> [[Category: Software companies of the United States]]<br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318643 Vertica 2008-08-29T02:58:40Z <p>DatabACE: Changed the company location (moved from Andover to Billerica) and updated the company description</p> <hr /> <div>{{For|the [[genus]] of [[grass skipper]] [[butterflies]]|Vertica (butterfly)}}<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Billerica, MA]] |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is an analytic database management software company&lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt;. The grid-based, column-oriented, Vertica Analytic Database is designed to manage large, fast-growing volumes of data and provide very fast query performance when used for [[data warehouse]]s and other query-intensive applications. Its design features include:<br /> <br /> * [[column-oriented database|Column-oriented storage organization]], which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increase the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * [[Data compression|Compression]], which reduces storage costs and I/O bandwidth. High compression is possible because columns of homogeneous datatype are stored together and because updates to the main store are batched.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * [[Shared nothing architecture]], which reduces system contention for shared resources and allows gradual degradation of performance in the face of hardware failure.<br /> <br /> Several of Vertica’s product innovations were originally prototyped within the [[C-Store]] [[column-oriented database]] database, an academic [[open source]] research project at MIT and other universities.<br /> <br /> The overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology. Vertica's advistory board includes former [[Oracle]] executives Jerry Held and Ray Lane, as well as &quot;Father of [[IBM_DB2|DB2]]&quot; and former IBM CTO, Don Haderle and former [[Teradata]] general manager, Bruce Armstrong.<br /> <br /> Sybase Inc. has filed an intellectual property patent infringement lawsuit against Vertica. http://dockets.justia.com/docket/court-txedce/case_no-6:2008cv00024/case_id-107871/<br /> <br /> In its complaint, filed Wednesday January 30, 2008 with the U.S. District Court for the Eastern District of Texas, Sybase accused Vertica of willfully infringing the patent, both literally and under the doctrine of equivalents, through the sale of its Vertica Database.<br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[KDB (database)|kdb]] <br /> * [[Sybase_IQ]]<br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> [[Category: Software companies of the United States]]<br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Spaltenorientierte_Datenbank&diff=85345266 Spaltenorientierte Datenbank 2007-08-22T23:51:55Z <p>DatabACE: </p> <hr /> <div>A '''column-oriented DBMS''' is a [[database management system]] (DBMS) which stores its content by column rather than by row. This has advantages for read-mostly databases such as [[data warehouse]]s and library catalogues.<br /> <br /> Fundamentally, a relational database management system (RDBMS) can be implemented according to one of two storage architectures. The most common of these (and found in [[Oracle database|Oracle]], [[IBM DB2]], [[Adaptive Server Enterprise|Sybase]], and [[Microsoft SQL Server]]) is the &quot;row store&quot; - so named, because it stores a table's data in row-wise fashion. To illustrate, consider the table, Employees, shown below:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Empid<br /> ! Lastname<br /> ! Firstname<br /> ! Salary<br /> |-<br /> | 1<br /> | Smith<br /> | Joe<br /> | 40000<br /> |-<br /> | 2<br /> | Jones<br /> | Mary<br /> | 50000<br /> |-<br /> | 3<br /> | Johnson<br /> | Cathy<br /> | 44000<br /> |}<br /> <br /> This simple table includes an employee identifier (EmpId), name fields (Lastname and Firstname) and a salary (Salary). A rowstore implementation of an RDBMS might store the contents of this table in a file as follows: <br /> <br /> 1,Smith,Joe,40000;2,Jones,Mary,50000;3,Johnson,Cathy,44000;<br /> <br /> This file stores every attribute of a given row in sequence, with the last entry of one row followed by the first entry of the next.<br /> <br /> An alternative storage architecture to the &quot;row store&quot; is the &quot;column store&quot;. Example column stores include [[MonetDB]], [[C-Store]] (and its commercialization, [[Vertica]]), [[Sybase IQ]] and [[BigTable]]. Whereas a row store stores data row-wise, a column store stores data column-wise as in the following representation of the aforementioned Employees table:<br /> <br /> 1,2,3;Smith,Jones,Johnson;Joe,Mary,Cathy;40000,50000,44000<br /> <br /> In other words, the table is stored one column at a time, with the end of one column followed by the beginning of the next. Though not strictly required, a column store typically stores each column's worth of data in a separate file. Analogously, a row store is frequently partitioned so that a single table is divided into multiple files.<br /> <br /> In practice, row store architectures are well-suited for [[OLTP]]-like workloads which are more heavily loaded with update transactions (writes) rather than queries (reads). This is because row stores are extremely &quot;write friendly&quot;, in that adding a row of data to a table requires a simple file appending [[I/O]]. On the other hand, column stores are well-suited for [[OLAP]] ([[data warehouse]])-like workloads. Such workloads can be characterized as &quot;read-mostly&quot;, primarily because of the relatively high cost of queries (which might perform complex analysis of several TB of data) vs transactions (which primarily consist of simple insertions). For such workloads, column stores are advantageous because:<br /> <br /> # Queries tend to require only a few columns out of many contained in a table. Whereas a row store must read the entire table, a column store can confine its reads to the columns required.<br /> # Column data, being of uniform type, is much easier to compress than row data. Thus, the actual disk reads required to read the columns required for a query may be far less than the size of the raw data in these columns.<br /> <br /> Examples of column-oriented DBMSs include:<br /> * [[Sybase]] [[Sybase IQ|IQ]]<br /> * [[KDB (database)|KDB]]<br /> * Addamark, now the Sensage [[Event monitoring#Scalable Log Server|event log analyzer]][http://www.sensage.com])<br /> * [[Vertica]] and its academic open-source cousin [[C-Store]]<br /> * [[MonetDB]] open source university project<br /> * [[Metakit]] open source<br /> * [http://www.luciddb.org LucidDB] open source<br /> <br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318632 Vertica 2007-07-03T18:18:46Z <p>DatabACE: </p> <hr /> <div>:''For the [[genus]] of [[grass skipper]] [[butterflies]], see ''[[Vertica (butterfly)]].<br /> <br /> {{Infobox_Company |<br /> company_name = Vertica Systems, Inc. |<br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> company_type = Private |<br /> foundation = 2005 |<br /> location = [[Andover, MA]] |<br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> }}<br /> <br /> '''Vertica Systems''' is a start-up company &lt;ref&gt;''Network World'' staff: &quot;New database company raises funds, nabs ex-Oracle bigwigs”, [http://www.linuxworld.com/news/2007/021407-vertica-oracle.html] ''LinuxWorld'', February 14, 2007&lt;/ref&gt; &lt;ref&gt; Brodkin, J: &quot;10 enterprise software companies to watch&quot;, [http://www.networkworld.com/news/2007/041107-enterprise-software-companies-to-watch.html?page=9] ''Network World'', April 11, 2007&lt;/ref&gt; that is developing new database management software. The Vertica Database is optimized for [[ad hoc query]] performance on large data warehouses and other query-intensive applications, at the expense of transaction processing efficiency. Its design features include:<br /> <br /> * Column-oriented storage organization, which increases performance of sequential record access at the expense of common transactional operations such as single record retrieval, updates, and deletes.&lt;ref&gt;Monash, C: &quot;Are row-oriented RDBMS obsolete?&quot; [http://www.dbms2.com/2007/01/22/are-row-oriented-rdbms-obsolete/] ''DBMS2'', January 22, 2007&lt;/ref&gt; <br /> * Out-of-place updates and hybrid storage organization, which increases the performance of queries, insertions, and loads, but at the expense of updates and deletes.<br /> * Compression, which reduces storage costs and I/O bandwidth. While compression has theoretical limitations, compression in Vertica is better than in most databases due in part to columnar data organization and out-of-place updates.&lt;ref&gt;Monash, C: &quot;Mike Stonebraker on database compression – comments”,[http://www.dbms2.com/2007/03/24/comments-stonebraker-data-compression/]''DBMS2'', March 24, 2007&lt;/ref&gt; <br /> * Shared nothing architecture, which reduces system contention for shared resources, but increases the detrimental performance impacts of hardware failures and complicates hardware reorganization.<br /> <br /> Vertica’s product was originally inspired by the [[C-Store]] column-oriented database technology developed as an open source project at MIT and other universities. <br /> <br /> While the software is still not generally available (as of May 2007), the overall approach shows promise in significantly increasing query performance in data warehouses. A use case detailed in ''One Size Fits All? Part 2: Benchmarking Results'' [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf] (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach.<br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology.<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> == Related topics ==<br /> <br /> * [[Column-oriented database]]<br /> * [[Shared nothing architecture]]<br /> <br /> == References ==<br /> <br /> &lt;references/&gt;<br /> <br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[kdb]] <br /> <br /> <br /> [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318621 Vertica 2007-03-12T04:06:07Z <p>DatabACE: </p> <hr /> <div>{{Infobox_Company |<br /> <br /> company_name = Vertica Systems, Inc. |<br /> <br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> <br /> company_type = Private |<br /> <br /> foundation = 2005 |<br /> <br /> location = [[Andover, MA]] |<br /> <br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> <br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> <br /> }}<br /> <br /> <br /> '''Vertica Systems''' ([http://www.vertica.com www.vertica.com]) has developed a new [[grid computing |grid]]-enabled, [[column-oriented DBMS]] that runs on [[Linux]]. The Vertica Database provides extremely fast [[ad hoc query]] performance, even for large databases (very many terabytes), making it well suited for [[data warehousing]], [[data mart|data marts]], [[clickstream|clickstream analysis]], fraud detection, call detail analysis, consumer customer analytics, [[business intelligence]] and other query-intensive applications. Vertica’s product was originally inspired by the [[C-Store]] column-oriented database technology developed as an open source project at MIT and other universities. <br /> <br /> [[As of 2007]] (January), the database is in beta development stage, and the official web site gives no information on the product except for those who enroll in an early tester program.<br /> <br /> A use case detailed in [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf One Size Fits All? Part 2: Benchmarking Results] paper (sect. 3.1) shows a performance improvement of hundreds of times with Vertica in a specific application due to the use of the vertical DBMS approach. <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology.<br /> <br /> <br /> == Founders ==<br /> <br /> Andrew Palmer - CEO<br /> <br /> Dr. [[Michael Stonebraker]] - Chief Technology Officer<br /> <br /> <br /> <br /> == Advisors ==<br /> <br /> Mitch Cherniack, Ph.D.<br /> <br /> David DeWitt, Ph.D.<br /> <br /> Ray Lane<br /> <br /> Samuel Madden, Ph.D.<br /> <br /> Stan Zdonik, Ph.D. <br /> <br /> <br /> <br /> == Investors ==<br /> <br /> * [[Bessemer Venture Partners]]<br /> <br /> * [[Highland Capital Partners]]<br /> <br /> * [[Kleiner Perkins Caufield &amp; Byers]]<br /> <br /> * [[New Enterprise Associates]]<br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> <br /> * [http://nms.csail.mit.edu/~stavros/pubs/osfa.pdf Paper containing use case]<br /> <br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[kdb]] <br /> * [[Category:Database management systems]]</div> DatabACE https://de.wikipedia.org/w/index.php?title=Kleiner_Perkins&diff=114928624 Kleiner Perkins 2007-03-12T04:03:02Z <p>DatabACE: </p> <hr /> <div>'''Kleiner, Perkins, Caufield &amp; Byers''' is a major [[Sand Hill Road]] [[venture capital]] firm in [[Silicon Valley]]. <br /> <br /> The name comes from the four senior partners: [[Eugene Kleiner]] ([[emeritus]]), [[Tom Perkins]] (emeritus), [[Frank J. Caufield]] (emeritus), and [[Brook Byers]].<br /> <br /> Kleiner Perkins Caulfield &amp; Byers (KPCB) was formed in 1972. At that point, the founders of most venture capital (VC) firms had financial backgrounds. Kleiner Perkins's founders were distinguished by their industry experience -- Kleiner as a founder of [[Fairchild Semiconductor]] and Perkins as one of the leaders of [[Hewlett-Packard]]'s early computer division.<br /> <br /> KPCB is one of Silicon Valley's best-known VC firms. The company was an early investor in more than 300 information technology and biotech firms, including: [[Amazon.com]], [[America Online]], [[Brio Technology]], [[Compaq]], [[Electronic Arts]], [[Flextronics]], [[Genentech]], [[Google]], [[Hybritech]], [[Intuit]], [[Lotus Development]], [[LSI Logic]], [[Macromedia]], [[Netscape Communications Corporation|Netscape]], [[Quantum]], [[Segway]], [[Sun Microsystems]], [[Tandem]]. Current private investments include [http://www.akimbo.com Akimbo], [http://www.arcsight.com ArcSight], [http://www.digitalchocolate.com Digital Chocolate], [http://good.com Good Technology], [http://www.podshow.com PodShow], [http://www.tellme.com Tellme Networks], [[Vertica]] and [http://www.zazzle.com Zazzle].<br /> <br /> KPCB paid $4 million in 1994 for around 25% of Netscape and did well during Netscape's IPO and subsequent $4 billion acquisition by AOL. An investment of $8 million in [[Cerent]] was worth around $2 billion when the optical equipment maker was sold to [[Cisco Systems]] for $6.9 billion in August of 1999. In 1999 Kleiner Perkins and [[Sequoia Capital]] paid $25 million for 20% of [[Google]] - today Google's market capitalization is over $149 billion (January 2007). As initial investors in Amazon.com KPCB scored returns of over 55,000% at the December 1999 peak of that stock.<br /> <br /> One peculiarity (amongst western companies) is that it encourages transactions among companies in which it holds a stake. This is similar to the Japanese [[keiretsu]] style of company structure.<br /> <br /> General Partners include:<br /> *[[Vinod Khosla]]<br /> *[[John Doerr]]<br /> *[[Brook Byers]]<br /> <br /> In January 2005, [[Bill Joy]] was named a partner.<br /> <br /> In July 2005, former [[United States Secretary of State|Secretary of State]] [[Colin Powell]] joined the company as ''strategic limited partner'', a newly created position.<br /> <br /> == References ==<br /> {{unreferenced|article|date=November 2006}}<br /> &lt;references /&gt;<br /> <br /> == Current Investments ==<br /> <br /> * [[EEstor]]<br /> <br /> == External links ==<br /> * [http://www.kpcb.com/ Kleiner Perkins Caufield &amp; Byers]<br /> * [http://iinnovate.blogspot.com/2007/02/randy-komisar-partner-kpcb.html/ Interview with Randy Komisar, General Partner]<br /> <br /> [[Category:Entrepreneurs]]<br /> [[Category:Venture capital firms]]<br /> [[Category:Companies based in Silicon Valley]]<br /> [[Category:Financial services companies of the United States]]<br /> <br /> [[ja:クライナー・パーキンス・コーフィールド・アンド・バイヤーズ]]<br /> <br /> <br /> {{finance-company-stub}}</div> DatabACE https://de.wikipedia.org/w/index.php?title=Spaltenorientierte_Datenbank&diff=85345248 Spaltenorientierte Datenbank 2007-01-09T21:09:07Z <p>DatabACE: </p> <hr /> <div>A '''column-oriented DBMS''' is a [[database management system]] (DBMS) which stores its content by column rather than by row. This has advantages for read-mostly databases such as [[data warehouse]]s and library catalogues.<br /> <br /> Fundamentally, a relational database management system (RDBMS) can be implemented according to one of two storage architectures. The most common of these (and found in Oracle, IBM DB2 and Microsoft SQL Server) is the &quot;row store&quot; - so named, because it stores a table's data in row-wise fashion. To illustrate, consider the table, Employees, shown below:<br /> <br /> {| class=&quot;wikitable&quot;<br /> |-<br /> ! Empid<br /> ! Lastname<br /> ! Firstname<br /> ! Salary<br /> |-<br /> | 1<br /> | Smith<br /> | Joe<br /> | 40000<br /> |-<br /> | 2<br /> | Jones<br /> | Mary<br /> | 50000<br /> |-<br /> | 3<br /> | Johnson<br /> | Cathy<br /> | 44000<br /> |}<br /> <br /> This simple table includes an employee identifier (EmpId), name fields (Lastname and Firstname) and a salary (Salary). A rowstore implementation of an RDBMS might store the contents of this table in a file as follows: <br /> <br /> 1,Smith,Joe,40000;2,Jones,Mary,50000;3,Johnson,Cathy,44000;<br /> <br /> This file stores every attribute of a given row in sequence, with the last entry of one row followed by the first entry of the next.<br /> <br /> An alternative storage architecture to the &quot;row store&quot; is the &quot;column store&quot;. Example column stores include Monet/DB, C-Store (and its commercialization, Vertica), and Sybase IQ. And whereas a row store stores data row-wise, a column store stores data column-wise as in the following representation of the aforementioned Employees table:<br /> <br /> 1,2,3,Smith,Jones,Johnson,Joe,Mary,Cathy,40000,50000,44000<br /> <br /> In other words, the table is stored one column at a time, with the end of one column followed by the beginning of the next. Though not strictly required, a column store typically stores each column's worth of data in a separate file. Analagously, a row store is frequently partitioned so that a single table is divided into multiple files.<br /> <br /> In practice, row store architectures are well-suited for OLTP-like workloads which are more heavily loaded with update transactions (writes) rather than queries (reads). This is because row stores are extremely &quot;write friendly&quot;, in that adding a row of data to a table requires a simple file appending I/O. On the other hand, column stores are well-suited for OLAP (data warehouse)-like workloads. Such workloads can be characterized as &quot;read-mostly&quot;, primarily because of the relatively high cost of queries (which might perform complex analysis of several TB of data) vs transactions (which primarily consist of simple insertions). For such workloads, column stores are advantageous because:<br /> <br /> 1) Queries tend to require only a few columns out of many contained in a table. Whereas a row store must read the entire table, a column store can confine its reads to the columns required.<br /> <br /> 2) Column data, being of uniform type, is much easier to compress than row data. Thus, the actual disk reads required to read the columns required for a query may be far less than the size of the raw data in these columns.<br /> <br /> <br /> Examples of column-oriented DBMSs include:<br /> * [[Sybase]] [[Sybase IQ|IQ]] [http://www.sybase.com/products/informationmanagement/sybaseiq]<br /> * [[KDB (database)|KDB]]<br /> * [[Addamark]] (now the Sensage [[Event monitoring#Event log analysis|event log analyzer]][http://www.sensage.com])<br /> * [[C-Store]] and its commercial version [[Vertica]]<br /> * [[MonetDB]] open source, university project [http://monetdb.cwi.nl/]<br /> <br /> <br /> [[Category:Database management systems]]<br /> {{database-software-stub}}</div> DatabACE https://de.wikipedia.org/w/index.php?title=Vertica&diff=85318612 Vertica 2006-10-10T21:52:54Z <p>DatabACE: </p> <hr /> <div>{{Infobox_Company |<br /> <br /> company_name = Vertica Systems, Inc. |<br /> <br /> company_logo = [[Image:VerticaLogo.jpg]] |<br /> <br /> company_type = Private |<br /> <br /> foundation = 2005 |<br /> <br /> location = [[Andover, MA]] |<br /> <br /> industry = [[Enterprise Software]] &amp; [[Database Management]] &amp; [[Data Warehousing]] |<br /> <br /> homepage = [http://www.vertica.com/ www.vertica.com]<br /> <br /> }}<br /> <br /> <br /> Vertica Systems ([http://www.vertica.com www.vertica.com]) has developed a new [[grid computing |grid]]-enabled, [[column-oriented DBMS]] that runs on [[Linux]]. The Vertica Database provides extremely fast [[ad hoc query]] performance, even for large databases (very many terabytes), making it well suited for [[data warehousing]], [[data mart|data marts]], [[clickstream|clickstream analysis]], fraud detection, call detail analysis, consumer customer analytics, [[business intelligence]] and other query-intensive applications. Vertica’s product was originally inspired by the [[C-Store]] column-oriented database technology developed as an open source project at MIT and other universities. <br /> <br /> <br /> Vertica was founded in 2005 by database research and technology pioneer Dr. [[Michael Stonebraker]]; and Andrew Palmer, a business executive with experience in both software and biotechnology.<br /> <br /> <br /> == Founders ==<br /> <br /> Andrew Palmer - CEO<br /> <br /> Dr. [[Michael Stonebraker]] - Chief Technology Officer<br /> <br /> <br /> <br /> == Advisors ==<br /> <br /> Mitch Cherniack, Ph.D.<br /> <br /> David DeWitt, Ph.D.<br /> <br /> Samuel Madden, Ph.D.<br /> <br /> Stan Zdonik, Ph.D. <br /> <br /> <br /> <br /> == Investors ==<br /> <br /> * [[Bessemer Venture Partners]]<br /> <br /> * [[Highland Capital Partners]]<br /> <br /> <br /> == External links ==<br /> <br /> * [http://www.vertica.com Official website]<br /> <br /> <br /> <br /> == See also ==<br /> <br /> * [[C-store]] <br /> * [[Category:Database management systems]]</div> DatabACE