Actions: goblint/analyzer
Actions
50 workflow run results
50 workflow run results
zlib
and liblzma
functions used in The Silver Searcher
to LibraryFunctions
semgrep
#7726:
Pull request #1167
synchronize
by
karoliineh
setjump/longjump
tests for race detection
semgrep
#7723:
Pull request #1172
synchronize
by
michael-schwarz
goblint.h
, it is unused
semgrep
#7722:
Commit 18fe6d1
pushed
by
michael-schwarz
setjump/longjump
tests for race detection
semgrep
#7721:
Pull request #1172
opened
by
michael-schwarz
AddressDomain
for queries
semgrep
#7715:
Pull request #1144
synchronize
by
sim642
AddressDomain
for queries
semgrep
#7713:
Pull request #1144
synchronize
by
sim642
Access.A
type instead of a quintuple
semgrep
#7711:
Pull request #1170
synchronize
by
karoliineh
Access.A
type instead of a quintuple
semgrep
#7709:
Pull request #1170
synchronize
by
karoliineh
Access.A
type instead of a quintuple
semgrep
#7707:
Pull request #1170
opened
by
karoliineh