Skip to content

codeql: query to check decoding output buffer size#10302

Open
two-heart wants to merge 1 commit into
firedancer-io:mainfrom
two-heart:baseN-decode-check
Open

codeql: query to check decoding output buffer size#10302
two-heart wants to merge 1 commit into
firedancer-io:mainfrom
two-heart:baseN-decode-check

codeql: query to check decoding output buffer size

90b4592
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-cbmc
succeeded Jun 19, 2026 in 27s