DARPA는 AI를 사용하여 C 코드를 Rust로 자동 전환하고 싶다.

국방부의 DARPA는 레거시 C 코드를 Rust로 자동 변환하는 머신 러닝 도구 개발 프로젝트를 시작했습니다. 이는 소프트웨어에서 메모리 안전성을 개선하는 것을 목표로 합니다. 메모리 안전성 버그, 예를 들어 버퍼 오버플로우와 같은 것은 대규모 코드베이스에서 취약점의 주요 원인입니다. DARPA의 이니셔티브는 프로그래밍 언어 번역을 개선하는 AI 모델을 활용하여 보안이 향상된 소프트웨어를 지향합니다. DARPA 프로그램 관리자인 Dan Wallach는 현재 AI 채팅봇이 C를 Rust로 번역하는 기능을 가지고 있지만, 중요 프로그램 구조에 대한 번역 정확성을 크게 개선해야 한다고 지적합니다. 소프트웨어 공학 커뮤니티는 C와 C++에서 지속적으로 발생하는 메모리 안전성 문제를 인정하고, Rust와 같은 보안 언어의 필요성을 강조합니다. 국가 사이버 지휘관 사무소도 버그 찾기 도구를 넘어서 보안 조치를 강조합니다. 코드 메탈의 CEO인 Peter Morales는 프로젝트의 사이버 보안에 대한 잠재적 영향을 지지하며, 메모리 안전성에 대한 관심이 증가하고 있다고 지적합니다. Wallach는 Rust가 프로그래머에게 최종적으로 자유와 안전을 제공하는 엄격한 규칙을 적용하고 있다고 설명합니다. Morales는 또한 번역 과정에서 수많은 예외 케이스를 처리하는 과제를 인정합니다. 특정 프로젝트, 예를 들어 리눅스 커널과 같은 것은 Rust와 기술적으로 호환되지 않아 제외됩니다.