Skip to content
CodeQL Security Analysis

proof(SafeUrl): DISCHARGE addParamIncreasesCount via lengthSnoc (proven#90 warm-up) #562

Sign in to view logs

proof(SafeUrl): DISCHARGE addParamIncreasesCount via lengthSnoc (proven#90 warm-up)

proof(SafeUrl): DISCHARGE addParamIncreasesCount via lengthSnoc (proven#90 warm-up) #562

Triggered via pull request May 30, 2026 14:41
@hyperpolymathhyperpolymath
opened #97
proof/safeurl-addparam-increases-count
Status Success
Total duration 1m 4s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in