데이터 흐름 분석
Data Flow Analysis
코드 속 값이 어디서 생겨나 어디를 거쳐 어디에 쓰이는지 흐름을 추적해 문제를 찾는 분석 방법
쉽게 말하면
데이터 흐름 분석은 프로그램 안에서 값 하나가 어디서 만들어져 어디를 거쳐 어디에 쓰이는지, 그 이동 경로를 처음부터 끝까지 따라가는 분석 방법이다.
강물의 발원지부터 하구까지 따라가며 중간에 오염원이 섞여드는지 확인하는 일과 비슷하다. 코드에서는 사용자가 입력한 값이 이 함수, 저 함수를 거쳐 최종적으로 화면이나 저장소에 어떻게 쓰이는지를 따라가면서, 중간에 위험한 값이 걸러지지 않은 채 그대로 흘러 들어가는 지점이 있는지 확인한다.
이 방식은 파일 하나만 들여다봐서는 찾기 어려운 문제를 잡아낸다. A 파일에서 받은 값이 B 파일의 함수로 넘어가 C 파일에서 그대로 실행되는 식의 문제는 각 파일을 따로 봐서는 놓치기 쉽지만, 값의 흐름을 끝까지 따라가면 드러난다.
기사에서 이렇게 나와요
기사에서는 클로드 시큐리티의 새 모델이 "파일 하나하나를 따로 보지 않고 파일 사이를 오가는 데이터 흐름을 추적하며 컴포넌트끼리 어떻게 상호작용하는지 추론한다"고 설명한다. 여기서 오해하기 쉬운 점은 이것이 AI가 처음 만든 새로운 기법이라는 생각인데, 데이터 흐름 분석 자체는 오래전부터 쓰여온 코드 분석 방법이고 이번 사례는 AI 모델이 이 분석을 대신 수행하도록 적용한 것이다.
직접 해보기
코드 조각을 붙여넣고 다음처럼 물어보면 데이터 흐름 분석과 비슷한 작업을 시켜볼 수 있다.
"이 코드에서 사용자 입력값이 어떤 함수들을 거쳐 최종적으로 어디에 쓰이는지 순서대로 추적해줘. 중간에 값이 검증 없이 그대로 전달되는 구간이 있으면 짚어줘."