Atom 고갈은 실수가 아니다. 우리 CVE의 3분의 1이다

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

계열로 제한하며 린터로 점검해야 함

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

• Elixir의
  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)

• 린터는 취약점으로 이어지기 전 위험 패턴을 잡는 데 도움이 됨
• Elixir 프로젝트에서는 Credo의 Credo.Check.Warning.UnsafeToAtom 활성화를 고려할 수 있음
• 이 검사는
  String.to_atom/1

,List.to_atom/1

,Module.concat/1,2

,keys: :atoms

를 사용하는Jason.decode/2

의 안전하지 않은 호출을 표시함 - 해당 검사는 기본적으로 비활성화되어 있음

• Erlang 또는 Elixir 프로젝트 유지보수자는 바이너리, 문자열, JSON 키, URI 구성요소, 헤더, 설정 값에서 atom을 생성하는 코드를 검색해야 함
• 이 취약점 범주는 CVE가 되기 전에 고치기 쉬운 유형 중 하나임
• 더 자세한 지침은 EEF Security Working Group의 atom 고갈 방지 가이드에 정리되어 있음