기술검색

기술 내용

- 민수사업화명 : 병렬 프로그램의 실행흐름을 따라 소스코드상의 보안약점을 탐지하는 정적분석기 - 개요 : 본 특허는 병렬 프로그램의 실행 흐름을 추적하여 병렬 프로그램의 소스 코드에서 문제를 일으킬 수 있는 결함을 검출하는 소스 코드 분석 장치에 관한 기술이다. - 특징 : 소스 코드 분석 장치는 병렬 프로그램의 소스 코드로부터 정적 분석에 필요한 정보를 추출하여 정제하고, 실행 흐름의 시뮬레이션을 통해 실행될 구문을 결정한다. 결정된 구문이 공유 자원에 대한 접근 제어를 동기화하는 명령인 경우 접근 제어 메모리의 정보를 갱신하고, 기호 실행 후 소스 코드에서 문제를 일으킬 수 있는 결함이 존재하는지 검출하는 특징이 있다. - 민수활용분야 : 네트워크 취약점 분석 - 출원번호 : 10-2019-0002270 - 출원일 : 2019-01-08 - 등록번호 : 10-2185294 - 등록일 : 2020-11-25