[정보] KAIST, 세계최초 C->RUST 변환기술 공개

[익명(118.235)]

[익명(119.206)]

작년에 교수가 이거 언급해줬는데, 조건 존나 탄댔음

[익명(140.248)]

애초에 c의 모호성을 전부 처리해줘야 하는데 100% 변환은 씹구라일 듯

[익명(211.234)]

단순히 변환하는거면 C의 UB는 어차피 컴파일러마다 다르고 아키텍처마다 다르고 옵션마다 달라서 처리해줄 필요 없음 진짜 문제는 러스트로 변환하면서 UB를 어떻게 탐지하고 러스트식으로 해결할건지가 중요한거지

[무토깽(218.149)]

애초엥C를 러스트로바꾸능것자체강 느린코드가되능거 - dc App

[익명(211.234)]

애초에 unsafe 존나쓰면 가능한거고 정적 분석으로 찾을수 없는 부분은 걍 unsafe 처리하거나 변환 대상이 아닐듯

[익명(219.254)]

몇년전에 xv6 포팅 이걸루 한거 아니었나

[익명(118.235)]

그냥 러스트부터 배우게 해라 c가 결국 개병신이란거 아냐 좀 시대에 맞게 발전 좀 해라

[익명(211.219)]

이거 memory safe하게 바꿔주는 거임?

[익명(110.8)]

그딴게 가능할 리가 - dc App

[익명(211.234)]

러슬람 러들러들~

[Qyeoul(interact5704)]

unsafe { 모든 C코드 } ㅋㅋ