데이터로서의 코드 (Korean Edition)

제2장. 소프트웨어를 위한 새로운 운영모델

이 작품은 AI를 사용하여 번역되었습니다. 여러분의 피드백과 의견을 환영합니다: [e-mail]

제1장에서 제기된 불가능한 질문들이 불가능한 데는 이유가 있다. “어떤 서비스들이 취약한 메서드를 호출하는가?” 라는 질문에 답하려면 텍스트 표현만으로는 알 수 없는 더 많은 정보를 알아야 한다. 각 기호 뒤에 숨겨진 정확한 타입, 해당 타입을 소유한 라이브러리, 그리고 모든 참조 뒤에 있는 해결된 호출 위치를 파악해야 한다. 한 줄의 코드를 예로 들어 보겠습니다. logger.info("Payment received"). SLF4J, Log4j, Logback, Apache Commons Logging은 모두 info 이름의 메서드를 노출합니다. 텍스트로만 보면 이 메서드들은 구별할 수 없습니다. 유형 정보가 없다면, 스캐너는 해당 라이브러리를 언급하는 모든 서비스를 표시할 뿐이며, 실제 일치 항목을 가려내는 일은 개발자와 에이전트에게 맡겨집니다.

코드베이스를 구조화되고, 의미론적이며, 확장 가능하고, 쿼리 가능한 데이터로 취급하는 것이 앞으로 나아갈 방향이며, 이 장에서는 이를 가능하게 하는 코드 표현 방식인 무손실 의미론적 트리(Lossless Semantic Tree, LST)를 소개하겠습니다.

무손실 시맨틱 트리(LST) 코드 모델

LST는 코드를 이해하고 작업하기 위해 설계되었습니다. 이는 오픈소스 OpenRewrite 프레임워크는 물론, Moderne의 플랫폼 및 에이전트 도구의 기반이 되는 검증된 기술입니다. LST는 코드가 어떻게 구성되어 있고 그 구성 요소들이 어떻게 상호작용하는지에 대한 모든 중요한 세부 정보를 보존함으로써, 개발자와 코딩 에이전트가 코드를 더 정확하고 안전하게 이해하고 개선할 수 있도록 돕습니다. 이름 자체가 그 사양을 나타냅니다:

• 무손실, 즉 아무것도 버려지지 않음

• 의미론적: 유형과 기호가 완전히 해결됨

• 트리: 구조화되어 있으며 프로그래밍 방식으로 탐색 가능함을 의미

대부분의 정적 분석 도구는 구조를 파악합니다. 일부는 심볼을파악하여 프로젝트 내에서 이름을 해당 선언에 바인딩하기도 합니다. LST는 한 걸음 더 나아갑니다. 바로 컴파일러 수준의 정확한 타입 해결을 달성한다는 점입니다. 이는 LST가 코드를 빌드할 때 컴파일러가 제공하는 것과 동일한 정확도로 프로젝트 내 모든 라이브러리에 걸쳐 타입, 제네릭, 의존성을 해결함을 의미합니다. 이는 Java, C#, Python, JavaScript, Scala 등을 포함하여 LST가 지원하는 모든 언어에 적용됩니다. 바로 이 수준에서 의미가 모호함 없이 명확해집니다.

팁

LST를 코드베이스의 게놈이라고 생각해 보세요. 모든 생명체는 게놈을 가지고 있습니다. 게놈은 그 생명체가 무엇이며 어떻게 작동하는지를 결정하는 완전하고 정확한 지침 집합입니다. LST는 코드의 동작 방식을 정의하는 타입, 메서드, 관계를 담고 있습니다. 그리고 하나의 게놈이 우리 몸의 모든 세포에 걸쳐 ...