맞춤기술찾기

이전대상기술

제어 의존성에 기초한 테인트 설정 장치 및 방법(APPARATUS AND METHOD FOR SETTING TAINT BASED IN CONTROL DEPENDENCY)

  • 기술번호 : KST2016007795
  • 담당센터 : 서울서부기술혁신센터
  • 전화번호 : 02-6124-6930
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 제어 의존성에 기초한 테인트 설정 장치 및 방법이 개시된다. 테인트 설정 방법은 프로그램을 구성하는 데이터들 중에서 상시 테인트된 제1 데이터에 의존적인 제2 데이터를 추출하는 단계; 상기 추출한 제2 데이터를 임시 테인트하는 단계; 및 상기 임시 테인트된 제2 데이터가 상기 제1 데이터와 연산되는 지 여부에 따라 상기 임시 테인트된 제2 데이터를 상시 테인트하는 단계를 포함할 수 있다.
Int. CL G06F 11/36 (2006.01) G06F 9/44 (2006.01)
CPC G06F 9/4494(2013.01)G06F 9/4494(2013.01)
출원번호/일자 1020140119627 (2014.09.10)
출원인 한양대학교 산학협력단
등록번호/일자 10-1606276-0000 (2016.03.18)
공개번호/일자 10-2016-0030425 (2016.03.18) 문서열기
공고번호/일자 (20160324) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2014.09.10)
심사청구항수 11

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 강병호 대한민국 서울특별시 구로구
2 임을규 대한민국 서울특별시 서초구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인 무한 대한민국 서울특별시 강남구 언주로 ***, *층(역삼동,화물재단빌딩)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한양대학교 산학협력단 대한민국 서울특별시 성동구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2014.09.10 수리 (Accepted) 1-1-2014-0857243-20
2 [출원서등 보정]보정서
[Amendment to Patent Application, etc.] Amendment
2014.09.18 수리 (Accepted) 1-1-2014-0885756-31
3 선행기술조사의뢰서
Request for Prior Art Search
2015.01.15 수리 (Accepted) 9-1-9999-9999999-89
4 선행기술조사보고서
Report of Prior Art Search
2015.02.10 수리 (Accepted) 9-1-2015-0008312-91
5 출원인정보변경(경정)신고서
Notification of change of applicant's information
2015.02.16 수리 (Accepted) 4-1-2015-5022074-70
6 의견제출통지서
Notification of reason for refusal
2015.10.21 발송처리완료 (Completion of Transmission) 9-5-2015-0725469-16
7 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2015.12.21 수리 (Accepted) 1-1-2015-1252578-00
8 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2015.12.21 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2015-1252594-20
9 등록결정서
Decision to grant
2016.03.14 발송처리완료 (Completion of Transmission) 9-5-2016-0190646-21
10 [출원서등 보정]보정서
[Amendment to Patent Application, etc.] Amendment
2016.08.26 수리 (Accepted) 1-1-2016-0831720-79
11 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.08.05 수리 (Accepted) 4-1-2019-5155816-75
12 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.08.06 수리 (Accepted) 4-1-2019-5156285-09
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
데이터 추출부; 임시 테인트부; 및 상시 테인트부를 포함하는 테인트 설정 장치가 수행하는 테인트 설정 방법에 있어서,상기 데이터 추출부가 프로그램을 구성하는 데이터들 중에서 상시 테인트된 제1 데이터에 의존적인 제2 데이터를 추출하는 단계;상기 임시 테인트부가 상기 추출한 제2 데이터를 임시 테인트하는 단계; 및상기 상시 테인트부는 상기 임시 테인트된 제2 데이터가 언더 테인팅될지 여부를 판단하고, 판단 결과에 따라 상기 임시 테인트된 제2 데이터를 상시 테인트하는 단계를 포함하는 테인트 설정 방법
2 2
제1항에 있어서, 상기 제2 데이터를 추출하는 단계는,상기 프로그램에서 분기문의 조건문이 상시 테인트된 제1 데이터를 포함하는 경우, 상기 데이터 추출부가 상기 분기문에 포함된 모든 데이터를 제2 데이터로 추출하는 테인트 설정 방법
3 3
제1항에 있어서,상기 임시 테인트부가 상기 프로그램에서 임시 테인트된 제2 데이터에 기초하여 추가적으로 임시 테인트될 데이터를 결정하는 단계를 더 포함하고, 상기 제2 데이터를 추출하는 단계는,상기 프로그램에서 분기문의 조건문이 상시 테인트된 제1 데이터를 포함하는 경우, 상기 데이터 추출부가 상기 분기문에 포함된 적어도 하나의 데이터를 제2 데이터로 추출하는 테인트 설정 방법
4 4
제3항에 있어서, 상기 임시 테인트된 제2 데이터가 포함된 분기문이 종료될 때까지 제2 데이터에 기초하여 추가적으로 임시 테인트될 데이터가 결정되지 않는 경우, 상기 임시 테인트부가 제2 데이터의 임시 테인트를 해제하는 단계를 더 포함하는 테인트 설정 방법
5 5
제1항에 있어서, 상기 임시 테인트된 제2 데이터가 포함된 분기문이 종료될 때까지 제2 데이터를 상시 테인트하지 않는 경우, 상기 임시 테인트부가 제2 데이터의 임시 테인트를 해제하는 단계를 더 포함하는 테인트 설정 방법
6 6
제1항에 있어서, 상기 제2 데이터를 상시 테인트하는 단계는,상기 상시 테인트부가 상기 임시 테인트된 제2 데이터와 상기 제1 데이터 간의 사칙 연산을 포함하는 산술 연산의 수행 여부를 확인하는 테인트 설정 방법
7 7
데이터 식별부; 및 데이터 추가부를 포함하는 테인트 설정 장치가 수행하는 테인트 설정 방법에 있어서,상기 데이터 식별부가 프로그램의 분석 대상이 되는 상시 테인트되는 데이터를 식별하는 단계; 및상기 데이터 추가부가 상기 식별된 상시 테인트된 데이터와 산술 연산 관계에 있는 데이터를 추가적으로 상시 테인트하는 단계를 포함하고,상기 상시 테인트하는 단계는,상기 데이터 추가부가 상기 상시 테인트된 데이터에 의존적인 데이터를 임시 테인트하는 단계; 및상기 데이터 추가부가 상기 임시 테인트된 데이터가 상기 상시 테인트된 데이터와 산술 연산되는지 여부에 따라 상기 임시 테인트된 데이터를 상시 테인트하는 단계를 포함하는 테인트 설정 방법
8 8
삭제
9 9
제7항에 있어서, 상기 임시 테인트하는 단계는,상기 프로그램에서 분기문의 조건문이 상시 테인트된 데이터를 포함하는 경우, 상기 데이터 추가부가 상기 분기문에 포함된 모든 데이터를 임시 테인트하는 테인트 설정 방법
10 10
프로그램을 구성하는 데이터들 중에서 상시 테인트된 제1 데이터에 의존적인 제2 데이터를 추출하는 데이터 추출부;상기 추출한 제2 데이터를 임시 테인트하는 임시 테인트부; 및상기 임시 테인트된 제2 데이터가 언더 테인팅될지 여부를 판단하고, 판단 결과에 따라 상기 임시 테인트된 제2 데이터를 상시 테인트하는 상시 테인트부를 포함하는 테인트 설정 장치
11 11
제10항에 있어서, 상기 데이터 추출부는,상기 프로그램에서 분기문의 조건문이 상시 테인트된 제1 데이터를 포함하는 경우, 상기 분기문에 포함된 모든 데이터를 제2 데이터로 추출하는 테인트 설정 장치
12 12
제10항에 있어서, 상기 상시 테인트부는,상기 임시 테인트된 제2 데이터가 포함된 분기문이 종료될 때까지 제2 데이터를 상시 테인트하지 않는 경우, 제2 데이터의 임시 테인트를 해제하는 테인트 설정 장치
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 충북대학교 산학협력단 정보통신기술인력양성 스마트공간을 위한 빅데이터 기반의 스마트 라이프케어 서비스