맞춤기술찾기

이전대상기술

프로그램 정적 분석〔stati c programanalysis〕에서 프로그램의 상태를 복수의 정수구간으로 표현하는 방법

  • 기술번호 : KST2015159537
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 고안은 프로그램 분석의 한 방법인 요약 해석〔abstract interpretation〕에 기반한 프로그램 분석을 할 때, 프로그램의 상태를 복수의 정수 구간으로 표현하는 방법에 관한 것이다. 이에 프로그램의 상태를 정수 구간의 집합으로 표현하는 정의와, 정의한 표현이 요약 해석에 있어 분석이 안전하게 끝나기 위하여 반드시 만족하여야 하는 성질을 유지시키는 정규화 알고리즘을 고안하였다. 본 고안의 목적은 기존의 프로그램 분석에서 하나의 구간으로 프로그램의 상태를 표현하는 방식으로는 충분하지 않은, 보다 세밀한 분석 정보가 요구되는 프로그램 분석을 설계할 수 있도록 하기 위함이다. 프로그램 정적 분석〔stati c program analysis〕, 요약 해석〔abstract interpretation〕
Int. CL G06F 9/06 (2006.01)
CPC G06F 11/3608(2013.01)
출원번호/일자 1020070004405 (2007.01.15)
출원인 재단법인서울대학교산학협력재단
등록번호/일자
공개번호/일자 10-2008-0067174 (2008.07.18) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2007.01.15)
심사청구항수 1

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 재단법인서울대학교산학협력재단 대한민국 서울특별시 관악구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 이광근 대한민국 서울 관악구
2 황의권 대한민국 서울 관악구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
대리인 정보가 없습니다

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application
2007.01.15 수리 (Accepted) 1-1-2007-0040940-64
2 선행기술조사의뢰서
Request for Prior Art Search
2007.10.11 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search
2007.11.09 수리 (Accepted) 9-1-2007-0065933-27
4 출원인정보변경(경정)신고서
Notification of change of applicant's information
2008.01.29 수리 (Accepted) 4-1-2008-5015497-73
5 의견제출통지서
Notification of reason for refusal
2008.03.14 발송처리완료 (Completion of Transmission) 9-5-2008-0142202-38
6 [지정기간연장]기간연장(단축, 경과구제)신청서
[Designated Period Extension] Application of Period Extension(Reduction, Progress relief)
2008.05.13 수리 (Accepted) 1-1-2008-0337403-80
7 거절결정서
Decision to Refuse a Patent
2008.08.14 발송처리완료 (Completion of Transmission) 9-5-2008-0425156-30
8 출원인정보변경(경정)신고서
Notification of change of applicant's information
2014.08.22 수리 (Accepted) 4-1-2014-5100909-62
9 출원인정보변경(경정)신고서
Notification of change of applicant's information
2015.03.20 수리 (Accepted) 4-1-2015-5036045-28
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
요약해석을 기반으로 하는 프로그램 분석 시스템에 있어서,요약 도메인〔abstract domain〕을 정수 구간의 집합〔set of intervals〕으로 정의하는 과정 및, 정수 구간 집합 간의 연산 과정에서 정수 구간 집합을 정규화하는 과정을 수행하도록 디자인된 분석기를 포함한 프로그램 분석 시스템
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.