https://gitlab.synchro.net/main/sbbs/-/commit/e52a9fe9a94ab3fdfe4fd204
Modified Files:
src/ssh/TODO.md
Log Message:
Add 34 TODO items from thread safety and design audits
Thread safety audit (items 51-61): data races in local_window,
setup-to-normal transition, rekey counters, rekey_in_progress, conn_initialized, algorithm queries, channel write pre-checks,
global registry set_ctx, and dh-gex set_provider.
Design/liveness audit (items 62-84): channel close use-after-free,
window adjust failure stall, poll/accept timeout stacking, unbounded
waits in open/request/setup/rekey, setup mailbox head-of-line
blocking, session_start double-call, rekey data loss, auth attempt
counter, inc leak, transport_init mutex leak, signal vs broadcast,
bytebuf truncation, msgqueue amplification, I/O under tx_mtx,
DH-GEX BIGNUM leak, PQ KEX NULL check, window-change callback
use-after-free, setup malloc hang, accept queue DoS, auth banner
loop, cleanup hang, and double-lock stale window.
Also adds previously unnumbered items 45-50 (NULL checks).
Co-Authored-By: Claude Opus 4.6 (1M context) <
noreply@anthropic.com>
---
■ Synchronet ■ Vertrauen ■ Home of Synchronet ■ [vert/cvs/bbs].synchro.net