Microsoft, LLM을 활용하여 저수준 프로그래밍의 안전성 향상: Checked C와 RustAssistant

Microsoft Research 연구원들은 저수준 프로그래밍의 안전성을 높이기 위한 두 가지 프로젝트를 발표했습니다. 하나는 LLM을 사용하여 Checked C를 지원하고, 레거시 C 코드에 메모리 안전성 주석을 자동으로 추가하여 안전성을 높이고 수동 주석 작업의 부담을 줄이는 것입니다. 다른 하나는 RustAssistant로, LLM을 사용하여 Rust 컴파일 오류를 자동으로 수정하여 Rust의 학습 곡선을 크게 낮춥니다. 두 프로젝트 모두 코드 안전성과 개발자 효율성을 향상시키는 LLM의 잠재력을 보여주며, 소프트웨어 엔지니어링에 새로운 가능성을 제시합니다.