Actions: goblint/analyzer
Actions
439 workflow run results
439 workflow run results
%
sound by restricting cases where we return a constant
semgrep
#7674:
Pull request #1161
opened
by
michael-schwarz
AddressDomain
for MayPointTo
and ReachableFrom
queries
semgrep
#7671:
Pull request #1142
synchronize
by
karoliineh
AddressDomain
for MayPointTo
and ReachableFrom
queries
semgrep
#7660:
Pull request #1142
synchronize
by
karoliineh
the silver searcher
including some from the pcre
library
semgrep
#7657:
Pull request #1138
synchronize
by
sim642
ProTip!
You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.