Actions: goblint/analyzer
Actions
56 workflow run results
56 workflow run results
trace
calls outside of if tracing
semgrep
#7752:
Commit d0e9064
pushed
by
michael-schwarz
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
semgrep
#7751:
Pull request #1176
opened
by
sim642
AddressDomain
for queries
semgrep
#7737:
Pull request #1144
synchronize
by
karoliineh
AddressDomain
for MayPointTo
and ReachableFrom
queries
semgrep
#7733:
Pull request #1142
synchronize
by
sim642
zlib
and liblzma
functions used in The Silver Searcher
to LibraryFunctions
semgrep
#7728:
Pull request #1167
synchronize
by
karoliineh