2025.07.04 (금)

  • 구름많음동두천 27.7℃
  • 흐림강릉 29.4℃
  • 구름조금서울 29.1℃
  • 구름조금대전 30.2℃
  • 맑음대구 32.3℃
  • 연무울산 29.4℃
  • 맑음광주 31.6℃
  • 구름조금부산 26.6℃
  • 구름조금고창 32.1℃
  • 맑음제주 29.6℃
  • 흐림강화 26.9℃
  • 구름많음보은 28.2℃
  • 구름조금금산 30.3℃
  • 구름많음강진군 30.8℃
  • 구름조금경주시 32.9℃
  • 구름조금거제 28.1℃
기상청 제공

빅테크

KAIST, 美 국방부가 주목한 C-러스트 기술 선도…류석영 교수·홍재민 박사 연구팀 '쾌거'

KAIST, 프로그래밍 언어 C로 작성한 코드를 러스트(Rust) 언어로 자동 번역하는 기술 세계적으로 선도
백악관과 미 국방부가 메모리 문제를 막기 위해 C 언어 대신 러스트 사용 촉구
C 코드의 안전성에 중요한 여러 핵심 기능을 자동으로 변환하는 C-러스트 코드 번역 기술 선도

 

[뉴스스페이스=김시민 기자] 컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다.

 

이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 KAIST 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.

 

KAIST(총장 이광형)는 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union, 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다)을 러스트의 태그드 유니언(tagged union, 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다. 

 

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

 

올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고, 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.


DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다. 

 

러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다. 

 

류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex, 프로그램 동기화에 필요한 기능)와 출력 파라미터(output parameter, 계산 결과 전달에 사용되는 기능)를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다. 


C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer, 데이터 저장 위치를 표현하는 기능)를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
 

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

 

KAIST 전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).

 

한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.

배너
배너
배너

관련기사

93건의 관련기사 더보기


[빅테크칼럼] 머스크, 트럼프의 ‘추방 위협’에도 불구하고 '칭찬'…정치·경제·기술계 거물들의 ‘치킨게임’

[뉴스스페이스=김정영 기자] 미국 정치와 글로벌 산업계를 뒤흔드는 일론 머스크와 도널드 트럼프의 갈등이 극한 대립과 화해 제스처를 오가며 전 세계의 이목을 집중시키고 있다. The New York Times, Times of India, Forbes, Fox News 등의 해외매체들의 보도에 따르면, 테슬라·스페이스X CEO 머스크는 트럼프 대통령이 자신을 추방하겠다고 공개적으로 시사한 직후, 오히려 트럼프의 중동 평화 중재 노력을 극찬하는 등 이례적인 태도 변화를 보였다. 이번 사태의 배경과 파장, 그리고 향후 시나리오를 국내외 주요 매체와 공식 발언을 근거로 정밀 해부한다. 추방 위협의 발단: 전기차 세액공제 폐지 갈등 갈등의 뿌리는 트럼프 행정부가 추진한 ‘One Big Beautiful Bill’(일명 ‘BBB법안’)에 있다. 이 법안은 전기차 7500달러 소비자 세액공제를 폐지하는 내용을 담고 있어, 테슬라 등 전기차 산업에 직격탄이 될 전망이다. 머스크는 이 법안을 “정치적 괴물, 역대급 졸속”이라며 강하게 비판했고, 트럼프는 “머스크가 보조금이 없으면 사업을 접고 남아프리카로 돌아가야 할 것”이라고 반격했다. 트럼프는 플로리다 이민자 구금시설 방

[빅테크칼럼] 트럼프-머스크, ‘퍼스트 버디’에서 '파국'으로?…트럼프 “추방도 검토” 공개 경고

[뉴스스페이스=김시민 기자] 도널드 트럼프 미국 대통령이 한때 ‘최측근’ '오른팔' '퍼스트 버디'로 불렸던 일론 머스크 테슬라 CEO에게 “많은 것을 잃을 수 있다”며 공개적으로 경고했다고 The New York Times, POLITICO, NBC News 등의 매체들이 보도했다. 최근 머스크가 트럼프의 핵심 국정 법안에 반대하며 신당 창당 가능성까지 시사하자, 트럼프는 머스크의 미국 내 입지와 사업에 대한 전방위적 압박에 나섰다. “머스크, 전기차 의무화 잃을 것…더 많은 것도 잃을 수 있다” 트럼프 대통령은 1일(현지시간) 백악관을 떠나기 전 취재진에게 머스크의 법안 반대에 대한 입장을 묻자 “그는 화가 났다. 전기차 의무화 조치를 잃었다고 말하지만, 그는 그것보다 훨씬 더 많은 것을 잃을 수 있다”고 밝혔다. 이는 머스크가 운영하는 테슬라, 스페이스X 등 기업이 받는 연방정부 보조금과 계약 해지 가능성을 직접 언급한 것으로 해석된다. 트럼프는 이어 “머스크가 미국 국적을 잃고 남아프리카공화국(출신국)으로 추방될 수 있느냐”는 질문에 “모르겠다. 우리는 (추방 가능성을) 살펴봐야 할 것”이라고 답했다. 실제로 트럼프는 “머스크가 운영하는 기업들이 받는

텔레그램, ‘추적 불가’ 신화 깨졌다…한국경찰에 95% 정보제공, 디지털범죄 검거 급증

[뉴스스페이스=김시민 기자] ‘추적당하지 않는 메신저’로 악명 높았던 텔레그램이 2024년 8월 창업자 파벨 두로프 체포 이후 정책을 전면 수정, 한국 경찰의 수사 요청에 95% 이상 응답하며 디지털 범죄 검거에 결정적 역할을 하고 있다. 가입자 정보·IP 기록 등 핵심 자료가 제공되며, 딥페이크·마약·성착취 등 각종 범죄 검거 사례가 급증하고 있다. 텔레그램, ‘범죄 안전지대’에서 ‘수사 협조’로 급선회 2024년 8월, 텔레그램 창업자 겸 CEO 파벨 두로프가 프랑스에서 아동 음란물 유포, 마약 밀매, 자금 세탁 방치 등 혐의로 체포된 것이 결정적 전환점이 됐다. 이후 텔레그램은 개인정보 보호 정책을 변경하고, 한국 경찰 등 수사기관의 자료 요청에 적극적으로 응답하기 시작했다. 경찰청에 따르면, 2024년 10월 이후 텔레그램은 한국 경찰의 자료 요청에 95% 이상 응답하고 있다. 실제로 2025년 6월 기준, 경찰이 제공받은 자료는 1000여 건에 달한다. 요청이 들어오면 텔레그램은 자사 정책 및 국제법 위반 여부를 검토한 뒤, 가입자 정보와 IP 기록 등을 제공하는 방식이다. 나머지 5%도 요청서를 보내고 기다리는 상태로, 사실상 거의 모든 요청이 받