454293 IGNORE: false positive; sftp_shell_alive is declared _Atomic bool, so its reads and writes are atomic and do not require the connection-buffer mutex
503352 IGNORE: false positive after the TX-slot termination fix; Coverity conflates successful mutex acquisition with dssh_thrd_check's mutually exclusive error path into session_set_terminate
503354 IGNORE: false positive; session_set_terminate releases accept_mtx and channel_mtx before returning, and dssh_session_stop joins the demux thread before destroying them
503355 IGNORE: false positive; send_to_slot and dssh_transport_disconnect do not return holding accept_mtx or channel_mtx, and exactly-once termination prevents the reported second acquisition
503356 IGNORE: false positive; SyncTERM calls ssh_close only on its connection/UI owner thread, and close joins the SSH/SFTP workers before cleaning up and nulling ssh_session
503358 IGNORE: false positive; sequential channel-close sends do not retain accept_mtx, and send_packet's termination-notification path releases accept_mtx before returning
503359 IGNORE: false positive; send_packet and session_set_terminate release accept_mtx/channel_mtx before returning, and the atomic termination guard makes the follow-up call a no-op after send failure
503364 IGNORE: false positive; recv_packet's termination path releases channel_mtx before returning through kex_recv_wrapper
503365 IGNORE: false positive; pending banners are set and flushed during documented single-threaded pre-start authentication, while accept_mtx is touched only by fatal termination notification
503367 IGNORE: false positive; password_dispatch's send/disconnect termination paths release channel_mtx internally before returning to handle_auth_password
503368 IGNORE: false positive; dssh_transport_disconnect's termination notification releases channel_mtx before returning to handle_auth_none
503369 IGNORE: intentional; the overflow guard is redundant on the analyzed 64-bit target after the UINT32_MAX bound but required when size_t is 32 bits
503370 IGNORE: false positive; version_exchange and kexinit release accept_mtx/channel_mtx on failure, and handshake's subsequent termination call is suppressed by the atomic exactly-once guard
503371 IGNORE: false positive; slot drain/gather termination releases accept_mtx before returning, and send_to_slot's later termination call is suppressed by the atomic guard; the former channel_mtx recursion is fixed by deferred termination
503373 IGNORE: false positive after the TX-slot termination fix; Coverity carries locks from successful thread calls into dssh_thrd_check's mutually exclusive error path and misses the atomic exactly-once termination guard
503374 IGNORE: false positive; both public-key rejection paths call dssh_transport_disconnect, whose termination notification releases channel_mtx before returning
503375 IGNORE: false positive; dssh_session_terminate releases accept_mtx and channel_mtx before returning, so SyncTERM's later worker/SFTP waits hold neither lock
503376 IGNORE: false positive; session_set_terminate unlocks tx_queue_mtx before acquiring accept_mtx on success, while the reported failure branch never acquired tx_queue_mtx
503377 IGNORE: false positive; successful send returns at most the requested bufsz-sent bytes, so sent cannot exceed bufsz and the next subtraction cannot underflow
503378 IGNORE: false positive; the keyboard-interactive rejection path calls dssh_transport_disconnect, whose termination notification releases channel_mtx before returning
503379 IGNORE: false positive; kexinit releases accept_mtx/channel_mtx before returning, and rekey's final termination call is either the first acquisition or an atomic no-op after lower-level termination
503381 IGNORE: false positive; rekey, recv_packet_raw, send_to_slot, and disconnect handling release connection mutexes before returning or looping; the former nested channel-slot termination defect is fixed by deferred termination
503382 IGNORE: false positive; auth_server_impl's nested send/receive/disconnect paths release channel_mtx before returning, and authentication is documented as single-threaded before session start
503383 IGNORE: intentional; the signature-length addition cannot overflow on the analyzed 64-bit target after UINT32_MAX bounds but the guard and cleanup are required when size_t is 32 bits
503384 IGNORE: intentional; the key-length addition cannot overflow on the analyzed 64-bit target after UINT32_MAX bounds but the guard is required when size_t is 32 bits
503387 IGNORE: false positive; SyncTERM's terminate/disconnect calls release connection mutexes (with later termination notification an atomic no-op), and cleanup joins the demux thread before destroying them
503388 IGNORE: false positive; recv/dispatch/open helpers release accept_mtx/channel_mtx before the demux loop continues or broadcasts at exit; the former nested channel-slot termination defect is fixed by deferred termination
503389 IGNORE: false positive after the TX-slot termination fix; Coverity carries locks from successful thread calls into dssh_thrd_check's mutually exclusive error path and misses the atomic exactly-once termination guard
503390 IGNORE: false positive; handle_channel_request releases buf_mtx on every early-return path and its nested send/disconnect handling releases channel_mtx; the former nested channel-slot termination defect is fixed by deferred termination
503391 IGNORE: false positive; accept_channel_init balances channel-table locks, and a failed open-confirmation send releases the termination path's accept_mtx before returning NULL
503392 IGNORE: false positive; kexinit releases accept_mtx before rekey reacquires tx_mtx, so the claimed accept_mtx-to-tx_mtx side of the lock-order cycle does not exist
503393 IGNORE: false positive; recv_packet_raw has a single RX owner and its supported callers hold neither channel_mtx nor accept_mtx
503396 IGNORE: false positive; the zero-copy API intentionally transfers logical packet-engine ownership from zc_getbuf through zc_send or zc_cancel without retaining a mutex
503397 IGNORE: false positive after the TX-slot termination fix; Coverity conflates successful channel_mtx acquisition with dssh_thrd_check's mutually exclusive error path into session_set_terminate
503398 IGNORE: false positive; authentication is sequential and completes before dssh_session_start creates the demux thread
503400 IGNORE: false positive; zc_send_inner has exclusive packet-engine ownership but holds no mutex while sending and neither acquires nor inherits accept_mtx
503401 IGNORE: false positive; got is below bufsz before subtraction and recv cannot return more than the requested remainder
503403 IGNORE: false positive; handle_channel_request releases buf_mtx on the error path and does not inherit channel_mtx
503404 IGNORE: intentional contract; send_begin transfers logical packet-engine ownership to send_commit or send_cancel without retaining a mutex
503405 IGNORE: false positive; auth_server_impl runs before connection mutex initialization and does not inherit channel_mtx
503406 IGNORE: false positive; negotiate_algorithms neither acquires nor inherits channel_mtx
503407 IGNORE: duplicate symptom of CID 503397; the underlying channel_mtx recursion is fixed by deferred termination
503408 IGNORE: false positive; session_set_terminate releases tx_queue_mtx before acquiring channel_mtx; the former unsafe path in CID 503397 is fixed by deferred termination
503409 IGNORE: false positive; cleanup joins the demux thread before destroying connection mutexes and carries no lock into dssh_session_stop
503410 IGNORE: false positive; password_dispatch is pre-start and conn_initialized is false on its disconnect path
503413 IGNORE: intentional 32-bit portability guard that is unreachable only in the analyzed 64-bit build
505091 IGNORE: intentional size-overflow guard required on narrower targets
505092 IGNORE: intentional size-overflow guard required on narrower targets
505189 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505190 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505191 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505192 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505193 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505194 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505195 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505196 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505197 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505198 IGNORE: false positive; ch remains owned by dssh_chan_accept until that routine returns it or frees it, so removing the pointer from the accept queue does not invalidate the local pointer
505199 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505200 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505201 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505202 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505203 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505205 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505206 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505207 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505208 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505209 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505210 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505211 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505212 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505213 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505214 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505215 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505216 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505218 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505219 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505220 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505221 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505222 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505223 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505224 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505225 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505226 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505228 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505229 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505230 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505231 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505232 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505233 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505234 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505235 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505236 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505237 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505238 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505239 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505240 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505241 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505242 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505243 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505244 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505245 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505246 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505247 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505248 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505249 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505250 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505251 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505252 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505253 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505254 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505255 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505256 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505258 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505259 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505260 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505261 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505263 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505264 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505265 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505267 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505268 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505269 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505270 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505271 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505272 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505273 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505274 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505275 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505276 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505278 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505279 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505280 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505281 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505282 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505283 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505284 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505285 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505286 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505287 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505288 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505289 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505290 IGNORE: false positive; the claimed reverse edge carries accept_mtx ownership out of dssh_thrd_check or session_set_terminate even though those functions release it before returning
505291 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505292 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505294 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505295 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505296 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505297 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505298 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505299 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505300 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505301 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505439 IGNORE: false positive; log_ret is a function-local scalar returned synchronously by drain_log_forwards and cannot be changed by another thread after tx_mtx is released
505440 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505441 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership from dssh_thrd_check's mutually exclusive failure path, while successful calls skip session_set_terminate and the direct lock paths are balanced
505442 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505443 IGNORE: false positive; drain_log_forwards acquires and releases the queue mutex exactly once per loop iteration, while Coverity joins unlocks from separate iterations
505446 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505447 IGNORE: false positive; the reported reverse edge carries locks from dssh_thrd_check or session_set_terminate failure paths into a mutually exclusive successful path where those locks are not retained
505449 IGNORE: false positive; rekey_in_progress is atomic_bool and this access is an atomic load, so tx_mtx is not required for race-free access
505450 IGNORE: false positive; extra is a function-owned allocation passed to a synchronous serializer that does not retain it, so no other thread can change the pointer or allocation
505457 IGNORE: false positive; caller_seq is a function-local scalar captured by the exclusive packet-engine owner and cannot be changed by another thread after any callee returns
505458 IGNORE: false positive; send_commit_inner does not retain accept_mtx or channel_mtx because its callees release successful acquisitions and dssh_thrd_check's error path is mutually exclusive
505459 IGNORE: false positive; Coverity carries accept_mtx or channel_mtx ownership out of tx_gather_with_packet and session_set_terminate even though both release those locks before returning
