_Multiplier_는 더 많은 버그를 더 빨리 찾아냅니다

Multiplier는 정밀하고 포괄적인 코드 이해 기능을 제공합니다. 빌드 산출물을 데이터베이스에 저장한 다음, C++ 또는 Python API를 통해 지속적으로 접근할 수 있게 함으로써 이를 수행합니다.

Multiplier는 빌드 프로세스의 모든 엔터티를 고유하게 식별하는 기능을 강조합니다. 여기에는 개별 토큰, AST 노드 및 중간 표현이 포함됩니다. Multiplier를 사용하면 분석가는 표현 중 하나에서 관심 있는 코드 패턴을 식별한 다음, 결과를 사람이 읽을 수 있는 형태로 정확하게 전달하거나 엔터티 ID를 통해 후속 스크립트로 전달할 수 있습니다.

Multiplier의 API는 광범위하며, 종종 컴파일러 수준과 동등하거나 더 나은 품질의 정보를 제공하지만 전체 프로그램 단위로 연결됩니다. 우리는 이 API를 사용하면 어디서든 모든 곳에 도달할 수 있다고 말하곤 합니다.

• 소개
  • 다른 인덱서는 어떻게 작동하나요, 그리고 일반적인 코드 인덱싱 방식이 C/C++에 왜 부족한지
  • 왜 Multiplier인가요? Multiplier는 어떤 분석 과제를 해결하나요?
• 사용법
  • 코드 가져오기 및 빌드
  • 사전 빌드 릴리스 설치
  • 코드베이스 인덱싱 방법
• 분석 자료
  • regreSSHion OpenSSH 변형 분석
  • PHP 변형 분석
• 포함된 Python 도구
  • 데이터베이스에서 코드를 탐색하는 웹 기반 코드 브라우저
  • 유형별 함수 그룹화
• 포함된 C++ 도구
  • 매크로 인수 목록 내부의 함수 호출 찾기
  • 가능한 분기 표현 찾기
  • Linux 커널에서 유연한 배열 멤버를 덮어쓰는 copy_to_user 사용 찾기
  • 연결 리스트 및 트리와 같은 자기 참조 포인터를 포함하는 데이터 구조 찾기
  • 함수 인수 및 반환 지점으로 흐르는 "수상한" 캐스트 찾기
  • 엔터티(예: 함수)와 그 모든 종속성을 파일로 추출
  • 주변 코드에서 특정 엔터티 강조
  • 엔터티에 대한 모든 참조 강조
  • 호출 그래프 출력
  • 참조 그래프 출력
  • 소스 코드, 매크로, 파싱된 토큰 및 AST 노드를 연결하는 그래프 출력
  • 오염 소스가 주어졌을 때 오염 그래프를 출력하고, 메모리 역참조를 오염 싱크로 처리
• 포함된 유틸리티
  • 심볼 이름이 주어졌을 때 데이터베이스에서 엔터티 찾기
  • 인덱싱된 모든 파일 나열
  • 인덱싱된 모든 함수 나열
  • 인덱싱된 모든 매크로 나열
  • 주어진 엔터티의 모든 재선언 나열
  • 인덱싱된 모든 구조체/공용체/클래스/열거형 나열
  • 인덱싱된 모든 변수 나열
  • 정규 표현식으로 코드 검색

라이선스

이 연구는 국방고등연구계획국(DARPA)의 자금 지원으로 개발되었습니다. 표현된 견해, 의견 및/또는 결과는 저자의 것이며, 국방부 또는 미국 정부의 공식 견해나 정책을 대표하는 것으로 해석되어서는 안 됩니다.

Distribution Statement "A" (공개 배포 승인, 배포 무제한).