Anexo:Herramientas para el análisis estático de software
Esta es una lista de herramientas de análisis estático de software.
Multi-lenguaje
[editar]- Axivion Bauhaus Suite
- Black Duck Suite
- BugScout
- CAST Application Intelligence Platform
- ChecKingQA
- CodeSonar
- Coverity SAVE
- DMS Software Reengineering Toolkit
- HP Fortify Source Code Analyzer
- IBM Rational AppScan Source Edition
- Imagix 4D
- JustCode
- Kiuwan
- LDRA Testbed
- MALPAS Software Static Analysis Toolset
- Moose
- Polyspace
- Protecode
- ResourceMiner
- Safeval - Análises estático de código para C, C++, C#, Java, Objective-C, PHP, y otros, en español
- Semmle
- SofCheck Inspector
- Sonar
- Sotoarc
- Understand.
- Veracode
- Visual Studio Team System
- Yasca
Por lenguaje
[editar]- Nxdos (funclist.c)
- Astrée
- BLAST model checker
- Cppcheck
- cpplint
- Clang
- Coccinelle
- CodeSonar
- ECLAIR
- Eclipse (software)
- Fluctuat
- Frama-C
- Goanna
- Lint
- LDRA Testbed
- Parasoft
- PC-lint
- Polyspace
- PVS-Studio
- QA-C
- SLAM project
- Sparse
- Splint
- AgileJ StructureViews
- Checkstyle
- CodeSonar
- FindBugs
- Hammurapi
- PMD
- Soot
- Squale
- Jtest
- LDRA Testbed
- RIPS
- SemmleCode
- SonarJ
- Kalistick
- Visio
Herramientas de métodos formales
[editar]- ECLAIR
- ESC/Java y ESC/Java2
- MALPAS Software Static Analysis Toolset
- Polyspace
- SofCheck Inspector
- SPARK Toolset
Véase también
[editar]- Análisis de software
- Análisis estático de software
- Análisis dinámico de software
- Revisión de código
- Revisión automática de código
- Buenas prácticas de programación
- Métrica del software
- Entorno de desarrollo integrado
Enlaces externos
[editar]- Lista de plugin para Eclipse de análisis de código estático
- Lista de analizadores de código estático para C
- Lista de analizadores de código estático en CERT
- SAMATE-Source Code Security Analyzers
- SATE - Static Analysis Tool Exposition
- “A Comparison of Bug Finding Tools for Java”, por Nick Rutar, Christian Almazán, y Jeff Foster, Universidad de Maryland.
- “Mini-review of Java Bug Finders”, por Rick Jelliffe, O'Reilly Media.
- Parallel Lint, por Andrey Karpov
- Integrate static analysis into a software development process