ETRI-Knowledge Sharing Plaform

ENGLISH

성과물

특허 검색
구분 출원국
출원년도 ~ 키워드

상세정보

등록 정석 분석 도구 통합 관리 장치 및 시스템

정석 분석 도구 통합 관리 장치 및 시스템
이미지 확대
발명자
김태호, 김익순, 임동선, 임채덕
출원번호
10-2010-0057732 (2010.06.17) KIPRIS
공개번호
10-2011-0070743 (2011.06.24)
등록번호
10-1369776-0000 (2014.02.26)
출원국
대한민국
협약과제
09MS4700, 정보 산업기기용 임베디드SW 공통 플랫폼 개발, 임채덕
초록
본 발명은 정적 분석 도구 통합 관리 장치 및 시스템에 관한 것으로서, 특히 본 발명의 정적 분석 도구 통합 관리 시스템은 분석 대상 프로그램을 정적 분석하는 다수의 정적 분석 도구 및 사용자로부터 정적 분석 도구들의 분석을 위한 통합 설정 형식으로 초기 설정 정보를 입력 받아 정적 분석 도구의 초기 설정 형식으로 변환하여 전송하는 도구 설정 모듈, 정적 분석 도구의 분석 결과를 수신하고 공통 분석 결과 형식으로 변환하여 출력하는 결과 출력 모듈, 사용자로부터 분석 설정 정보를 입력 받아 상기 정적 분석 도구의 분석 설정 형식으로 변환하여 전송하는 분석 설정 모듈 및 상기 정적 분석 도구의 분석 수행 관리, 상기 정적 분석 도구 자체의 설정 관리 또는 상기 정적 분석 도구의 검증 규칙 관리 중 하나 이상의 기능을 포함하는 실행 관리 모듈을 갖는 정적 분석 도구 통합 관리 장치를 포함하며, 여기서, 상기 분석 설정 정보는, 상기 초기 설정 정보에 따른 정적 분석의 분석 결과를 기반으로 재조정된 설정 정보인 것을 특징으로 한다.
KSP 제안 키워드
Management system, static analysis