맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

프로그램 정적 분석을 위한 프로그램 변환에서 불필요한임시 변수의 제거

  • 기술번호 : KST2015159571
  • 담당센터 : 서울동부기술혁신센터
  • 전화번호 : 02-2155-3662
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 프로그램 정적 분석에서 프로그램을 변환하는 과정에서 생기는 불필요한 임시 변수들을 제거해줌으로써 분석할 때 사용되는 메모리를 줄이고 분석시간을 줄이기 위한 것이다. 프로그램 분석을 위해 변환된 프로그램은 원래 주어진 프로그램의 대략 2~3배 커지게 되는데 이는 변환되는 과정에서 임시 변수들이 많이 생성되기 때문이다. 프로그램 실행에 영향을 주지 않기 위해 꼭 필요한 임시 변수들도 있지만 임시 변수 생성 과정에서 불필요하게 생성되는 임시 변수들 또한 많다. 변환된 프로그램의 크기만 키우고, 분석 시간과 메모리 사용량을 늘리는 불필요한 임시 변수들을 제거하는 것이 본 발명의 목적이 된다. 프로그램 정적 분석, 요약 해석
Int. CL G06F 17/27 (2006.01) G06F 9/06 (2006.01) G06F 9/44 (2006.01)
CPC G06F 40/20(2013.01) G06F 40/20(2013.01) G06F 40/20(2013.01) G06F 40/20(2013.01) G06F 40/20(2013.01) G06F 40/20(2013.01)
출원번호/일자 1020070004429 (2007.01.15)
출원인 재단법인서울대학교산학협력재단
등록번호/일자
공개번호/일자 10-2008-0067184 (2008.07.18) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2007.01.15)
심사청구항수 2

출원인

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

발명자

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

대리인

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

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application		 2007.01.15 수리 (Accepted) 1-1-2007-0041149-33
2 선행기술조사의뢰서
Request for Prior Art Search		 2007.11.06 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2007.12.05 수리 (Accepted) 9-1-2007-0074564-94
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.31 발송처리완료 (Completion of Transmission) 9-5-2008-0182801-04
6 거절결정서
Decision to Refuse a Patent		 2008.07.02 발송처리완료 (Completion of Transmission) 9-5-2008-0355959-11
7 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2014.08.22 수리 (Accepted) 4-1-2014-5100909-62
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.03.20 수리 (Accepted) 4-1-2015-5036045-28
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
요약해석을 기반으로 하는 파서, 변환기, 분석기로 구성된 프로그램 분석 시스템에 있어서 변환 과정에서 발생하는 불필요한 임시변수를 제거하도록 변환을 하는 변환기를 포함한 프로그램 분석 시스템
2 2
제 1항에 있어서, 불필요한 임시 변수를 제거하는 변환단계는 한 번만 사용되는 임시 변수를 기억하여 제거하고 그 값을 해당 임시 변수가 사용될 위치에 대입하도록 바꾸는 방법
지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.