장비 | 기업공감원스톱서비스

장비

스패로우 4.0

보유기관명, 보유기관코드, 활용범위, 활용상태, 표준코드, 표준분류명, 시설장비 설명, 장비이미지코드, 장비위치주소, NFEC 등록번호, 예약방법, 카타로그 URL, 메뉴얼 URL, 원문 URL, 첨부파일 순으로 구성된 표입니다.
보유기관명	한국전자통신연구원
보유기관코드
활용범위
활용상태
표준코드	E0
표준분류명
시설장비 설명	스패로우는 정적 시맨틱 프로그램 분석 기법을 사용하여 프로그램 소스 만으로 프로그램 실제 실행 과정을 요약 실행하고 프로그램 상태 변화 분석과 가능한 모든 프로그램 실행 상태를 분석하는 도구입니다. 따라서 개발 초기 단계부터 모든 경우에 대해 빠짐없이 치명적인 실행 오류및 보안 취약점을 분석할 수 있습니다. 스패로우는 런타임 오류를 야기할 수 있는 Buffer Overrrun Memory Leak Resource Leak Null Dereference Dead code 등의 오류를 분석하고 CERT CWE에서 언급한 C/C++/Java secure coding guide에 위배하는 규칙을 분석하며 특정 platform에서 금지되어야 할 API 보안상의 위험한 코드를 분석하여 준다. 따라서 스패로우는 실제 프로그램 실행이전에 정적으로 프로그램의 오류를 분석함으로써 보다 안전한 코드를 개발 할 수 있도록 도와준다.
장비이미지코드	http://www.zeus.go.kr/storage/images//equip/photo/201109/20110923103523.gif
장비위치주소	한국전자통신연구원 7동
NFEC 등록번호	NFEC-2011-09-148458
예약방법
카타로그 URL
메뉴얼 URL
원문 URL	http://www.zeus.go.kr/resv/equip/read/Z-NTIS-0030017
첨부파일