Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
BEAM 생태계에서 발생하는 Atom 고갈 취약점과 이로 인한 서비스 거부(DoS) 위험을 분석합니다. 사용자 입력으로부터 Atom을 생성할 때 발생하는 VM 크래시 문제를 방지하기 위한 안전한 코딩 패턴을 제시합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 RSS: GeekNews (한국어)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기EEF CNA가 공개한 CVE의 35.8%는 제어되지 않은 리소스 소비이며, BEAM 생태계에서는 반복적인 atom 고갈이 큰 비중을 차지함Atom 고갈은 서비스 거부 취약점으로, atom은 가비지 컬렉션되지 않고 전역 테이블에 쌓이며 테이블이 가득 차면 VM이 크래시됨사용자 입력처럼 가능한 값의 집합이 유한하다고 보장되지 않는 데이터에서 atom을 만들면 DoS 위험이 생기며, URI scheme도 예외가 아님- 위험은
binary_to_atom/1
,String.to_atom/1
같은 명시적 호출뿐 아니라JSON 키 atom 디코딩과 문자열 보간 기반 동적 생성에도 존재함 - 안전한 처리는 런타임 새 atom 생성을 피하고, 알려진 값은
명시적 조회 테이블이나to_existing_atom
계열로 제한하며 린터로 점검해야 함
EEF CNA가 공개한 CVE 중**35.8%**는 제어되지 않은 리소스 소비이며, BEAM 생태계에서는 반복적인 atom 고갈 문제가 큰 비중을 차지함 {p:36}- 현재 분포는 EEF CNA의 Common Weaknesses 페이지에서 확인 가능함
Atom 고갈은 서비스 거부(DoS) 취약점임- Atom은 가비지 컬렉션되지 않음
전역 atom 테이블에 저장됨
테이블이 가득 차면 VM이 크래시됨
유한하지 않은 값, 특히
사용자 입력에서 atom을 만들면 잠재적인 DoS가 됨 - 위험은 명백한 호출에만 한정되지 않음
Erlang의
binary_to_atom/1
,list_to_atom/1
String.to_atom/1,List.to_atom/1
Erlang의
덜 눈에 띄는 위험 패턴도 존재함
Erlang에서 보간을 통한 동적 atom 생성:
% Erlang: 보간을 통한 동적 atom 생성 list_to_atom("field_" ++ UserInput)
Elixir에서 JSON 키를 atom으로 디코딩:
# Elixir: JSON을 atom 키로 디코딩 Jason.decode(json, keys: :atoms)
Elixir에서 보간을 통한 동적 atom 생성:
# Elixir: 보간을 통한 동적 atom 생성 :"field_#{user_input}"
Erlang에서 보간을 통한 동적 atom 생성:
Atom 고갈 취약점은 단순한 부주의가 아니라, 입력이 통제되거나 유한하다고 가정한 코드에서 자주 생김
URI scheme은 대표적인 예시임- 처리할 scheme이 몇 개뿐이라고 느껴질 수 있음
값이 외부 입력에서 오면 가능한 집합이 더 이상 유한하다고 보장되지 않음
입력에서 atom을 만드는 코드는 가능한 값의 집합이
유한하고, 알려져 있으며, 강제되는 경우가 아니면 안전하지 않음 - 가장 안전한 접근은 런타임에 새 atom을 만들지 않는 것임
허용 값이 알려져 있다면
명시적 조회 테이블을 쓰는 편이 안전함% Erlang case Scheme of <<"http">> -> http; <<"https">> -> https; _ -> error end
조회 테이블이 실용적이지 않을 때는 새 atom을 만들지 않고 기존 atom만 사용하는 변형을 써야 함
이 함수들은 새 atom을 생성하지 않고 오류를 발생시킴
% Erlang binary_to_existing_atom(Value) list_to_existing_atom(Value)
# Elixir String.to_existing_atom(value) List.to_existing_atom(value)
String.to_atom/1,List.to_atom/1
,Module.concat/1,2
,keys: :atoms
를 사용하는Jason.decode/2
의 안전하지 않은 호출을 표시함 - 해당 검사는 기본적으로 비활성화되어 있음