yossarian (1.3.6.1.4.1.55738) on Nostr: when the static analysis is Good and Correct ... when the static analysis is Good and Correcthttps://github.com/github/codeql/issues/15942