C언어 유니언→러스트 태그드 유니언 변환 기술 세계 첫 개발

KAIST 연구진, 미 국방부가 주목한 C-러스트 기술 선도

번역 기법의 전체 과정 도식.(KAIST 제공)/뉴스1

(대전=뉴스1) 김태진 기자 = 국내 연구진이 미국 국방부가 주목한 C-러스트 기술을 선도하고 있어 주목된다.

한국과학기술원(KAIST)은 전산학부 류석영 교수 연구팀이 C언어의 유니언을 러스트의 태그드 유니언으로 변환하는 기술을 세계 최초 개발했다고 13일 밝혔다.

유니언은 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능을 하지만, 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다.

태그드 유니언은 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여 구분, 메모리 문제를 일으키지 않는다.

연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.

KAIST 전산학부 류석영 교수(왼쪽)와 홍재민 석박사통합과정

류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입해 나온 결과”라며 “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 분야를 선도하겠다”고 말했다.

KAIST 전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.

이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다.

memory4444444@news1.kr