ch1keen/cve-2025-50361Отчет и PoC о глобальном переполнении буфера в SmallBASIC до 02364eff880ba62afac67bcceebafade2b40d21f
SmallBASIC — это быстрый и простой в изучении интерпретатор языка BASIC, идеально подходящий для повседневных вычислений, скриптов и прототипов. SmallBASIC включает тригонометрические функции, функции для работы с матрицами и алгеброй, встроенную IDE, мощную библиотеку для работы со строками, системные, звуковые и графические команды, а также синтаксис структурного программирования.
В строке 277 файла src/platform/sdl/main.cpp вызывается strcpy для копирования argv в глобальную переменную opt_command, которая определена в src/common/smbas.h. Глобальная переменная представляет собой массив фиксированного размера, в соответствии с макросом , определённым в том же файле.
OPT_CMD_CZ// src/common/smbas.h:105
EXTERN char opt_command[OPT_CMD_CZ] //
// src/platform/sdl/main.cpp:263
while (1) {
int option_index = 0;
int c = getopt_long(argc, argv, "hvkc:f:r:x:n:m:e:d:p:", OPTIONS, &option_index);
if (c == -1) {
// no more options
if (!option_index) {
for (int i = 1; i < argc; i++) {
const char *s = argv[i];
int len = strlen(s);
if (runFile == NULL
&& ((strcasecmp(s + len - 4, ".bas") == 0 && access(s, 0) == 0)
|| (strstr(s, "://") != NULL))) {
runFile = strdup(s);
} else if (chdir(s) != 0) {
strcpy(opt_command, s); // УЯЗВИМО
}
}
}
break;
}
Согласно src/common/smbas.h, OPT_CMD_CZ определён как 1024.
#define OPT_CMD_CZ 1024
В отличие от функции strlcpy, strcpy не проверяет, сколько байт нужно скопировать. Таким образом, в массив opt_command может быть скопировано более 1024 байт. Поскольку аргумент командной строки может быть длиннее 1024 байт, входные данные могут перезаписать другие объекты. Это может привести к непредвиденному поведению программы sbasicg.
Обратите внимание, что максимальная длина строки, которую можно использовать в командной строке в Windows, составляет 8191 символ. В Linux длина зависит от ARG_MAX и MAX_ARG_STRINGS.
Соберите проект SmallBASIC, затем выполните:
$ src/platform/sdl/sbasicg $(python -c 'print("a"*1024)')
Это вызывает глобальное переполнение буфера при разборе аргумента командной строки, реализованного в функции main. Ниже приведён вывод Address Sanitizer:
=================================================================
==5322==ERROR: AddressSanitizer: global-buffer-overflow on address 0x0000016c22a0 at pc 0x0000004ba2e4 bp 0x7ffeb3ebac70 sp 0x7ffeb3eba428
WRITE of size 1025 at 0x0000016c22a0 thread T0
#0 0x4ba2e3 in strcpy (/home/ch1keen/fuzz/SmallBASIC/src/platform/sdl/sbasicg+0x4ba2e3) (BuildId: 4a800899b4dac082870bb647e1d872811e8633ea)
#1 0x8759c6 in main /home/ch1keen/fuzz/SmallBASIC/src/platform/sdl/main.cpp:277:13
#2 0x79e3ca62a1c9 in __libc_start_call_main csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#3 0x79e3ca62a28a in __libc_start_main csu/../csu/libc-start.c:360:3
#4 0x4378b4 in _start (/home/ch1keen/fuzz/SmallBASIC/src/platform/sdl/sbasicg+0x4378b4) (BuildId: 4a800899b4dac082870bb647e1d872811e8633ea)
0x0000016c22a0 is located 0 bytes after global variable 'opt_command' defined in '/home/ch1keen/fuzz/SmallBASIC/src/common/smbas.h:105' (0x16c1ea0) of size 1024
SUMMARY: AddressSanitizer: global-buffer-overflow (/home/ch1keen/fuzz/SmallBASIC/src/platform/sdl/sbasicg+0x4ba2e3) (BuildId: 4a800899b4dac082870bb647e1d872811e8633ea) in strcpy
Shadow bytes around the buggy address:
0x0000016c2000: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2080: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2100: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2180: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2200: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x0000016c2280: 00 00 00 00[f9]f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9
0x0000016c2300: f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9 f9
0x0000016c2380: f9 f9 f9 f9 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2400: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2480: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000016c2500: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
Shadow byte legend (one shadow byte represents 8 application bytes):
Addressable: 00
Partially addressable: 01 02 03 04 05 06 07
Heap left redzone: fa
Freed heap region: fd
Stack left redzone: f1
Stack mid redzone: f2
Stack right redzone: f3
Stack after return: f5
Stack use after scope: f8
Global redzone: f9
Global init order: f6
Poisoned by user: f7
Container overflow: fc
Array cookie: ac
Intra object redzone: bb
ASan internal: fe
Left alloca redzone: ca
Right alloca redzone: cb
==5322==ABORTING
Влияние уязвимости неясно. Но глобальное переполнение буфера может перезаписать другие глобальные переменные, что может привести к перезаписи флагов и настроек программы.
Уязвимость была исправлена заменой почти всех strcpy на strlcpy, включая проблему, о которой я сообщил.
@@ -277,1 +277,1 @@ int main(int argc, char* argv[]) {
< strcpy(opt_command, command);
---
> strlcpy(opt_command, command, sizeof(opt_command));
Посмотреть коммит для подробного патча.