Facebook은 Python 언어용 정적 분석기인 Pysa를 출시했습니다.

페이스북 도입 된 개방형 정적 분석기 피사 (Python Static Analyser)는 Python 코드의 잠재적인 취약점을 식별하도록 설계되었습니다. 새로운 분석기는 유형 검사 툴킷의 추가 기능으로 설계되었습니다. 파이레 그의 저장소에 게시되었습니다. 암호 출판 된 MIT 라이센스에 따라.

Pysa는 코드 실행의 결과로 데이터 흐름 분석을 제공하므로 데이터가 표시되어서는 안되는 장소에서 데이터를 사용하는 것과 관련된 많은 잠재적인 취약성과 개인 정보 보호 문제를 식별할 수 있습니다.
예를 들어, Pysa는 외부 프로그램을 실행하는 호출, 파일 작업 및 SQL 구성에서 원시 외부 데이터의 사용을 추적할 수 있습니다.

분석기의 작업은 원본 데이터를 사용해서는 안 되는 데이터 소스와 위험한 호출을 식별하는 것입니다. 웹 요청의 데이터(예: Django의 HttpRequest.GET 사전)는 소스로 간주되며 eval 및 os.open과 같은 호출은 위험한 용도로 간주됩니다. Pysa는 함수 호출 체인을 통해 데이터 흐름을 추적하고 소스 데이터를 코드의 잠재적으로 위험한 위치와 연결합니다. Pysa를 사용하여 식별된 일반적인 취약점은 개방형 리디렉션 문제입니다(CVE-2019-19775) Zulip 메시징 플랫폼에서 썸네일을 렌더링할 때 정리되지 않은 외부 매개변수를 전달하여 발생합니다.

Pysa의 데이터 흐름 추적 기능은 다음과 같습니다. 대다 추가 프레임워크의 올바른 사용을 확인하고 사용자 데이터 사용 정책을 준수하는지 확인합니다. 예를 들어, 추가 설정 없이 Pysa를 사용하면 Django 및 Tornado 프레임워크를 사용하는 프로젝트를 확인할 수 있습니다. Pysa는 SQL 주입 및 XSS(교차 사이트 스크립팅)와 같은 웹 애플리케이션의 일반적인 취약점도 감지할 수 있습니다.

Facebook에서는 분석기를 사용하여 Instagram 서비스의 코드를 확인합니다. 2020년 44분기에 Pysa는 Facebook 엔지니어가 Instagram의 서버 측 코드베이스에서 발견한 모든 문제의 XNUMX%를 식별하는 데 도움을 주었습니다.
전체적으로 Pysa의 자동 변경 검토 프로세스는 330개의 문제를 식별했으며 그 중 49개(15%)는 심각하고 131개(40%)는 심각하지 않은 것으로 평가되었습니다. 150개 사례(45%)에서 문제는 오탐지로 분류되었습니다.

출처 : opennet.ru