Customer & Partners

HOME Products > SPARROW

  • Overflow
  • Features
  • How SPARROW Works
  • Use Cases
  • Benefits
  • Who Needs SPARROW

프로그램 정적 오류분석 시스템, SPARROW 깊은 호출 관계 속에서도 정확도 높은 분석 결과를 얻을 수 있는 최첨단 오류 분석 기술

강력한 프로그램 분석 능력

  • 프로그램 언어 분야의 최신/최적 분석 알고리즘 채택
  • 프로그램 실행 흐름 및 의미 분석
  • 프로그램 상태 변화 상세 분석
    • 프로그램 실행 과정의 data 흐름 이해
    • Loop안에서 변화 상세 분석
    • 다양하게 별칭 지어진 구조체 처리 및 필드처리

효율적인 통합 관리 시스템

  • 쉽고 직관적인 분석 실행 / 관리
  • 분산 환경 구조
    • 단일 분석 Engine으로 물리적으로
    • 분리된 복수 프로그램 분석 가능

검출 오류 종류

치명적 시스템 오류
  • Buffer Overflow/Underflow
  • Null Dereference
  • Use after Free
  • Double Free / Close
  • Free Non-Heap Variable
  • Return Pointed to Local/Freed
성능 저하 요소
  • Memory leaks
  • Fie handle leaks
  • Custom memory and resource leaks
  • Database connection leaks
잘못된 프로그램 수행
  • Divided by Zero
  • Uninitialized Local Variables
보안 취약점
  • Buffer Overflow / Underflow
  • Misuse of string related functions

지원 환경

Platform

Linux, AIX, Solaris, HP-UX, Linux 64bit, Windows

Compiler

gcc, gcc-cross, compiler, ARM CC, AIX CC, Sun CC, HP-UX CC KEIL C, MS visual C (예정), C++(예정)

Language

C, C++(예정), JAVA(예정)