Category:Static code analysis

From Wikipedia, the free encyclopedia

The main article for this category is Static code analysis.

Pages in category "Static code analysis"

The following 42 pages are in this category, out of 42 total. Updates to this list can occasionally be delayed for a few days.

*

  • Static code analysis

A

  • Alias analysis
  • Aliasing (computing)
  • Automated code review
  • Axivion Bauhaus Suite

C

  • ChecKing
  • Coverity

D

  • DMS Software Reengineering Toolkit
  • Daikon (system)
  • Data-flow analysis

E

  • ESC/Java

F

  • FindBugs
  • Flawfinder
  • Flowchart4j

F cont.

  • Fortify Software
  • FxCop

H

  • HP Code Advisor

J

  • Jtest

K

  • Klocwork

L

  • LDRA Testbed
  • Lattix, Inc.
  • Lint (software)
  • List of tools for static code analysis

P

  • PMD (software)
  • Parasoft
  • Pointer analysis
  • Project Analyzer

Q

  • QA-C

R

  • Reaching definition

R cont.

  • Rough Auditing Tool for Security

S

  • SemmleCode
  • Shape analysis (software)
  • SofCheck Inspector
  • Software mining
  • Sotoarc
  • Sparse
  • Splint (programming tool)
  • Structure101
  • Swat4j

U

  • Understand
  • Use-define chain

V

  • Viva64
Categories: Formal methods | Computer programming tools | Software engineering | Software quality
Views
  • Category
  • Discussion
  • Current revision
Navigation
  • Main Page
  • Contents
  • Featured content
  • Current events
Interaction
  • About Wikipedia
  • Community portal
  • Recent changes
  • Contact Wikipedia
  • Donate to Wikipedia
  • Help
Powered by MediaWiki
Wikimedia Foundation
  • This page was last modified 09:11, 15 March 2008 by Wikipedia user Andreas Kaufmann.
  • All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
    Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  • About Wikipedia
  • Disclaimers