Skip to content
semgrep

Preserve UnknownPtr origin instead of using top in get #7621

Sign in to view logs

Preserve UnknownPtr origin instead of using top in get

Preserve UnknownPtr origin instead of using top in get #7621

Triggered via push September 5, 2023 14:38
@karoliinehkaroliineh
pushed 877f0da
unknown-origins
Status Success
Total duration 42s
Artifacts –

semgrep.yml

on: push
semgrep
29s
semgrep
Fit to window
Zoom out
Zoom in