☞ From bugreport (unverified) Mon Mar 30 06:30:18 2026 UTC

bugreport

FEDAnet 0.0.51 — Отчёт об ошибках

Криптография и безопасность

1. PRNG сломан — `seeded` никогда не выставляется в 1 (HIGH)

keyutils.c:96–115 — Флаг seeded инициализирован в 0, но нигде не выставляется в 1 после первого seed'а. В результате PRNG re-seed'ится из одних и тех же фиксированных констант (v = 4101842887655102017LL, w = 1) при каждом вызове. Последовательность fill_noise, rand_from_range, comctx_fill_nonce становится детерминистической. Это критически влияет на генерацию nonce'ов.

2. Нет защиты от replay-атак (HIGH)

fsrv_rx.c:3285 — После дешифрации пакета nonce не проверяется на монотонность (не сравнивается с предыдущим nonce от этого пира). Код содержит пометку YYY от автора, подтверждающую, что проверка ещё не реализована. Аналогичные пометки на строках 2325 и 2471. Повторно отправленный зашифрованный пакет будет обработан повторно.

3. Ключ дешифрования не обнуляется на стеке (MEDIUM)

fsrv_rx.c:1893, 2120 — unsigned char decrypt_key[32] выделяется на стеке в handle_certhub_tip и handle_associate_request, но нигде не вызывается crypto_wipe() после использования. Контрастирует с тем, что в comcrypt.c:derive_cipher_keys и модулях fk_*.c это делается корректно.

Переполнение буфера и нарушение памяти

4. Переполнение буфера при сборке фрагментов пакетов (HIGH)

fsrv_pad.c:113–126 — В пути сборки фрагментов (reassembly) отсутствует проверка bufsize перед memcpy. Одиночные (singleton) пакеты проверяются корректно (строка 95), но при сборке нескольких фрагментов накопленный offset может превысить размер целевого буфера. Сетевой злоумышленник, отправляющий крафтовые фрагменты, потенциально может переписать статический буфер pktbuf[4096].

5. Off-by-one в `servlog.c` (MEDIUM)

servlog.c:152–154 — vsnprintf возвращает количество символов, которые были бы записаны, а не реально записанные. После len += mlen значение len может превысить sizeof(buf), и последующие buf[len] = '\n' и buf[len] = 0 пишут за границу 4096-байтного буфера.

6. `strcat(typestr, NULL)` — UB / crash (MEDIUM)

fsrv_cfd.c:54–66 — Цикл итерирует по всем битам от 1 до 0x10000000 (28 итераций), но peer_type_str(n) возвращает NULL для неопределённых битов. strcat(typestr, NULL) — undefined behaviour, на практике crash. Срабатывает при выводе конфигурации через fedactl.

7. `strcpy` без проверки длины из конфига (MEDIUM)

fsrv_cfg.c:331 — strcpy(p->name, s) в буфер name[64] без проверки strlen(s) < peer_name_length_limit. Имя пира берётся из конфиг-файла.

NULL-разыменование и логические ошибки

8. NULL pointer dereference в `handle_errplus_nodeintro` (HIGH)

fsrv_rx.c:2586–2593 — feda_peer_get_introinfo(fp) может вернуть NULL (если пир не инициировал node introduction). state_good_for_fulfill(NULL) немедленно разыменовывает iinf->status → crash. Другие обработчики (handle_nodeintro_chal, handle_nodeintro_fulf) проверяют на NULL корректно.

9. `memcpy(p, node_id, 8)` вместо `node_id_size` (10) (HIGH)

fsrv_rx.c:640–641 — Копируются только 8 байт из 10, но указатель p сдвигается на 10. Два байта в исходящем пакете nodeintro_fulf содержат мусор. Каждый nodeintro_fulf датаграм отправляется с повреждённым node_id.

10. Неинициализированный `*rank` при раннем возврате (HIGH)

fsrv_rx.c:1621–1624 — perform_check_save_node возвращает 1 (успех) когда нода уже известна, но не записывает *rank. Вызывающий код передаёт мусорное значение rank в send_nodeintro_fulf.

11. `err_func` всегда вызывается с `fedaprot_err_signature` (MEDIUM)

fsrv_rx.c:1670 — Switch корректно вычисляет r, но err_func вызывается с захардкоженным fedaprot_err_signature вместо r. Ошибки key_differs и rank_low неотличимы от signature_fail для удалённого пира.

12. Проверка `socket()` через `!sd` вместо `sd == -1` (MEDIUM)

fsrv_con.c:648 — socket(2) возвращает -1 при ошибке. Проверка if(!sd) не ловит ошибку (−1 — non-zero) и ложно срабатывает на fd 0 (возможно после daemonize).

Утечки ресурсов

13. Неинициализированный `output_fname` — UB + double-free (HIGH)

fk_point.c:603–656 — char *output_fname не инициализирован в NULL. Если args->out_file задан, переменная остаётся мусорной. На пути goto quit → if(output_fname) free(output_fname) — UB (чтение неинициализированной переменной, потенциальный free произвольного адреса).

14. Проверка `!fs` вместо `!fp` — wrong variable (HIGH)

fk_point.c:714–720 — После fp = fopen(fname, "w") проверяется if(!fs) (другой файловый дескриптор). Ошибка открытия .pub файла не обнаруживается; при fp == NULL последующий fclose(NULL) — UB/crash.

15. `textrecx_data_item` утекает в `fk_mesg.c` (MEDIUM)

fk_mesg.c:410–470, 493–651 — В verify_import_nodecert и verify_import_foreign после успешного read_textrecx_file ни один путь возврата не вызывает textrecx_dispose_data(data).

16. `sizeof(dgram)` вместо `len` в проверке `sendto` (LOW)

natcheck.c:240 — dgram — указатель, sizeof(dgram) = 8 на x64. Проверка res < sizeof(dgram) не ловит реальные ошибки отправки.

Сводная таблица

#	Файл	Строки	Тип	Уровень
1	`keyutils.c`	96–115	PRNG re-seed при каждом вызове	HIGH
2	`fsrv_rx.c`	3285	Нет проверки монотонности nonce	HIGH
4	`fsrv_pad.c`	113–126	Buffer overflow при reassembly	HIGH
8	`fsrv_rx.c`	2586–2593	NULL deref (удалённо)	HIGH
9	`fsrv_rx.c`	640–641	memcpy 8 вместо 10 байт	HIGH
10	`fsrv_rx.c`	1621–1624	*rank не записан при возврате	HIGH
13	`fk_point.c`	603–656	Неинициализ. указатель → UB	HIGH
14	`fk_point.c`	714–720	Проверка не той переменной	HIGH
3	`fsrv_rx.c`	1893, 2120	decrypt_key не обнуляется	MEDIUM
5	`servlog.c`	152–154	Off-by-one запись за буфер	MEDIUM
6	`fsrv_cfd.c`	54–66	strcat(buf, NULL) — UB/crash	MEDIUM
7	`fsrv_cfg.c`	331	strcpy без проверки длины	MEDIUM
11	`fsrv_rx.c`	1670	Захардкоженный код ошибки	MEDIUM
12	`fsrv_con.c`	648	Неверная проверка socket()	MEDIUM
15	`fk_mesg.c`	410–651	Утечка textrecx_data_item	MEDIUM
16	`natcheck.c`	240	sizeof(pointer) вместо len	LOW

FEDAnet 0.0.51 — Отчёт об ошибках

Криптография и безопасность

1. PRNG сломан — seeded никогда не выставляется в 1 (HIGH)

2. Нет защиты от replay-атак (HIGH)

3. Ключ дешифрования не обнуляется на стеке (MEDIUM)

Переполнение буфера и нарушение памяти

4. Переполнение буфера при сборке фрагментов пакетов (HIGH)

5. Off-by-one в servlog.c (MEDIUM)

6. strcat(typestr, NULL) — UB / crash (MEDIUM)

7. strcpy без проверки длины из конфига (MEDIUM)

NULL-разыменование и логические ошибки

8. NULL pointer dereference в handle_errplus_nodeintro (HIGH)

9. memcpy(p, node_id, 8) вместо node_id_size (10) (HIGH)

10. Неинициализированный *rank при раннем возврате (HIGH)

11. err_func всегда вызывается с fedaprot_err_signature (MEDIUM)

12. Проверка socket() через !sd вместо sd == -1 (MEDIUM)