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