형상관리 소프트웨어

http://otisnate.egloos.com/1934667

QAC, QAC++

- mds technology
- http://mdstec.com/ing/product/product.html?uid=81

코드 작성 표준 Rule과 사용자 정의 Rule을 이용하여 Bug 검출
데이터 흐름의 오류 테스트
다양한 형태의 메시지 관리 기능 (HTML,TEXT, Excel 결과 format)
컴파일과 동시에 테스트 진행

StP

- Aonix
- http://www.aonix.com/stp.html

DFD등의 Diagram을 꽤 미려하게 생성.
기존 소스를 Reverse engineering하는 기능이 있긴 하지만 떨어짐.
Structured modeling을 적용한 프로젝트를 관리하기 쉽다.
기존 프로젝트를 분석하기 보다는 DFD를 비롯한 각종 차트를 생성하기 편함
Data Flow, Data Structure, Control Flow, State Transition, Control Specification, Structure Chart, Flow Chart 도식화 지원

RESORT for C (RESOFTC)

- SOFT4SOFT
- http://www.soft4soft.com/html/products_c.html

Reverse Engineering Toolset
Reengineering Toolset
Testing Toolset
Quality Assurance Toolset : Code Checker(MISRA-C 포함), Software Metrics

Logiscope

- Telelogic
- http://www.telelogic.co.kr/products/logiscope/index.cfm
- http://www.telelogic.com/corp/products/logiscope/highlights.cfm

코드 검토와 오류가 발생하기 쉬운 모듈의 식별 및 탐지를 자동화하여 테스트 범위를 넓힐 수 있도록 해 주는 소프트웨어 품질 보증(Quality Assurance: QA) 도구

McCabe IQ

- McCabe & Associates
- http://www.mccabe.com/iq.htm

McCabe QA : Metric을 통한 객관적인 품질평가
McCabe Test : 체계적이고 효율적인 시험지원
McCabe Reverse : 대상 프로그램의 이해력 향상

Fortify Source Code Analysis

- Fortify Software
- http://www.fortifysoftware.com/products/sca.jsp

Data Flow Analyzer
Semantic Analyzer
Control Flow Analyzer
Configuration Analyzer
Rules Builder

Coverity Extend

- Coverity, Inc.
- http://www.coverity.com/products/extend.html

Finding custom or domain specific defects unique to your code.
Complying with company or industry standards such as MISRA, DO-178B or the FDA's General Principles of
Software Validation.
Automating parts of the manual code review.

CodeAssure

- Secure Software
- http://www.securesoftware.com/products/solo.html

Analyze your Java source code for security flaws.
Deploy in an Eclipse environment and on existing projects.
Achieve high acceptance rate for code without security flaws.
Minimize the chance of failing a security audit.
Gain valuable security experience and skills.
Language Pack : Java, C, C++

SPI Dynamics DevInspect and SecureObjects

- SPI
- http://www.spidynamics.com/products/devinspect/index.html

Integrates in Visual Studio.NET - Only checks languages, that are part
of the .NET framework
Focuses on Web Applications.
Provides code fragments.