Skip to content
semgrep

Fix unsoundness on unknown function call with tid as argument #8088

Sign in to view logs

Fix unsoundness on unknown function call with tid as argument

Fix unsoundness on unknown function call with tid as argument #8088

Triggered via push October 27, 2023 09:04
@karoliinehkaroliineh
pushed 2df7882
issue-392
Status Success
Total duration 59s
Artifacts –

semgrep.yml

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