기술 검색
메모리 해제 오류를 자동으로 수정하는 장치 및 방법
| 특허명 | 메모리 해제 오류를 자동으로 수정하는 장치 및 방법 | ||
| 출원인 | 고려대학교 산학협력단 | 출원일 | 2018년 5월 25일 |
| 공개일 | 2019년 12월 4일 | 공고일 | 2019년 12월 19일 |
| 요약 |
메모리 해제 오류 자동 수정 장치가 개시된다. 상기 메모리 해제 오류 자동 수정 장치는 프로그램의 소스 코드에 대하여 정적 분석(static analysis)을 통해 상기 소스 코드에 포함된 객체들 각각에 대하여 상기 객체들이 할당된 위치 정보, 상기 객체들을 가리키는 포인터 정보 및 상기 소스 코드의 각 포인트에 대하여 상기 객체들을 해제할 수 있는 해제문들에 대한 정보인 패치 정보를 포함하는 상태 정보를 생성하는 정적 분석부, 상기 패치 정보 중에서 패치 후보를 선정하고, 상기 객체들을 각각 한 번씩만 해제할 수 있는 상기 패치 후보의 조합을 결정하는 결정부, 및 상기 패치 후보의 조합에 따라 상기 소스 코드를 수정하는 수정부를 포함한다.
|
||
관련 특허
| 특허명 | 출원일 | ||
|---|---|---|---|
| 양자 부호 설계 장치 및 방법 | 2012년 2월 8일 | ||
| 소프트웨어의 코드 클론 탐지 장치 및 방법 | 2016년 4월 26일 | ||
| 저항 변화 메모리의 수명 연장 방법 및 그 방법을 이용하는 데이터 저장 시스템 | 2016년 8월 4일 | ||
| 가상 머신 관리 장치 및 방법 | 2019년 12월 24일 | ||
| 프로토콜 모델 생성 장치 및 모델링 방법 | 2017년 4월 25일 | ||
