새 언어 지원 확대와 분석 정확도 개선
Swift 6.2, .NET 10, C# 14, Rust, JavaScript/TypeScript 등에서 지원을 넓히고 여러 쿼리 정확도를 개선했습니다.
교안에 영향
JavaScript 파일 평균 줄 길이 기준으로 minified 파일을 기본 제외하므로, 이전에 분석되던 일부 긴 축약 스크립트가 더 이상 결과에 나타나지 않을 수 있습니다.
요약
- Swift 6.2.2와 6.2.3으로 빌드된 앱 분석을 지원합니다. - .NET 10과 C# 14를 지원하고, JavaScript/TypeScript에서는 minified 파일 처리와 Next.js 16, React useRef 지원을 추가했습니다. - Python, Java/Kotlin, C/C++, Rust에서 새 모델과 프레임워크 지원을 늘리고 숨김 디렉터리와 Windows API 분석을 개선했습니다. - C#, JavaScript/TypeScript, Java/Kotlin, C/C++, Rust 쿼리의 탐지 범위와 정확도를 조정하고 일부 오탐을 줄였습니다.
바뀐 것
새 기능
- C#에서 .NET 10과 C# 14를 지원합니다.
- Next.js 16의 use cache directives를 지원합니다.
- Python의 py/decompression-bomb 쿼리가 compression.zstd 라이브러리를 지원합니다.
개선
- Swift에서 Swift 6.2.2와 6.2.3으로 빌드된 앱 분석을 지원하도록 업데이트했습니다.
- JavaScript 파일의 평균 줄 길이가 200자를 넘으면 minified 파일로 간주해 기본적으로 분석하지 않으며, CODEQL_EXTRACTOR_JAVASCRIPT_ALLOW_MINIFIED_FILES=true로 예외를 둘 수 있습니다.
- React useRef hook을 지원하고 current property를 통한 데이터 흐름 추적을 개선했습니다.
- urllib.parse에 대한 taint flow 모델과 python-socketio 패키지의 remote flow sources를 추가했습니다.
- extractor가 숨김 디렉터리의 파일을 기본적으로 분석하도록 변경했습니다.
- Java/Kotlin에서 com.couchbase용 sink 모델과 org.apache.commons.fileupload.FileItem, javax/jakarta.servlet.http.Part, org.apache.commons.fileupload.util.Streams의 dataflow 모델을 추가했습니다.
- C/C++에서 파일 읽기 함수, 명령줄 및 환경 변수 API, SQLite와 OpenSSL 라이브러리의 flow 모델을 포함해 더 많은 Windows API를 지원합니다.
- Rust에서 Deref trait를 고려해 메서드 해석이 더 정확해졌고, Axum 웹 애플리케이션 프레임워크 지원과 raw pointer 타입 추론 개선을 추가했습니다.
- C#의 Missing cross-site request forgery token validation 쿼리가 ASP.NET Core를 지원하도록 확장되었습니다.
- NHibernate.ISession.CreateSQLQuery, NHibernate.IStatelessSession.CreateSQLQuery, NHibernate.Impl.AbstractSessionImpl.CreateSQLQuery를 SQL injection sink로 추가했습니다.
- System.Collections.Generic.KeyValuePair.Value를 taint-tracking sink와 추가 taint step 입력에서 암묵적으로 읽도록 해, 컨테이너가 tainted일 때 더 많은 결과를 냅니다.
- Java thread safety 분석이 생성자 안에서 thread-safe 클래스 초기화를 이해하도록 개선되었습니다.
- java/ssrf에 정규식 검사로 안전함이 검증된 값을 제거하는 sanitizer를 추가했습니다.
- 모든 Spring RestTemplate 메서드의 URI template 변수를 request forgery sink로 간주하도록 해 java/ssrf 경고가 늘어날 수 있습니다.
- cpp/constant-comparison 쿼리의 정확도를 높여 false positive를 줄였습니다.
- rust/unused-variable, rust/unused-value, rust/access-invalid-pointer, rust/access-after-lifetime-ended 쿼리의 정확도를 높여 false positive를 줄였습니다.
- rust/hard-coded-cryptographic-value 쿼리에 password, initialization vectors, nonce, salt를 식별하는 새 heuristic sink를 추가했습니다.
수정
- Next.js 모델에서 api와 pages 폴더 밖의 route 또는 page 파일에 있는 server-side taint source를 놓치던 문제를 수정했습니다.
- content-type 헤더가 없을 때 new Response(x)를 reflected XSS sink로 보지 않도록 수정했습니다.