Fil-C, C 코드의 메모리 안전성을 확보할 수 있을까?
by DD
7개월 전
조회수 31
Fil-C는 C 코드를 WASM 기반으로 컴파일하여 메모리 안전성을 확보하는 기술로, OS 상호작용을 제어하고 샌드박싱을 구현함.
커뮤니티에서는 setuid 프로그램과의 호환성 문제와 ld.so 수정으로 인한 잠재적 위험성을 지적하며, 실사용에 대한 신중한 접근을 권고함.
WASM을 활용한 샌드박싱 기술과 MicroVM의 비교, 그리고 sudo와 같은 시스템 유틸리티에의 적용 가능성에 대한 기대감이 공존함.
Fil-C 아키텍처: C 코드의 WASM 변환
Fil-C는 C 코드를 WASM으로 컴파일하여 메모리 안전성을 확보하는 하이브리드 방식을 사용한다. 구체적으로, C 코드는 WASM 런타임 환경에서 실행되며, 모든 OS 호출은 WASM 런타임을 통해 제어된다. 따라서, 메모리 접근 오류와 같은 취약점을 WASM의 샌드박싱 기능을 활용하여 격리할 수 있다. 결과적으로, 기존 C 코드의 성능을 유지하면서도 안전성을 향상시키는 것을 목표로 한다.
Fil-C의 잠재적 위험성: setuid 프로그램과 ld.so
Fil-C는 ld.so를 수정하여 WASM 런타임을 통합하는데, 이는 setuid 프로그램의 보안에 영향을 미칠 수 있다. 구체적으로, setuid 프로그램은 환경 변수, 파일 디스크립터, rlimit 및 시그널에 매우 취약하며, ld.so의 수정이 이러한 요소들을 제대로 고려하지 못할 경우 이 발생할 수 있다. 따라서, Fil-C를 실질적인 인프라에 적용하기 전에 충분한 테스트와 검증이 필요하다.
