Actions: goblint/analyzer
Actions
Showing runs from all workflows
432 workflow run results
432 workflow run results
trace
calls outside of if tracing
indentation
#8062:
Commit d0e9064
pushed
by
michael-schwarz
trace
calls outside of if tracing
semgrep
#7752:
Commit d0e9064
pushed
by
michael-schwarz
trace
calls outside of if tracing
locked
#8345:
Commit d0e9064
pushed
by
michael-schwarz
trace
calls outside of if tracing
options
#6081:
Commit d0e9064
pushed
by
michael-schwarz
trace
calls outside of if tracing
docs
#112:
Commit d0e9064
pushed
by
michael-schwarz
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
indentation
#8061:
Pull request #1176
opened
by
sim642
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
locked
#8344:
Pull request #1176
opened
by
sim642
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
options
#6080:
Pull request #1176
opened
by
sim642
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
coverage
#467:
Pull request #1176
opened
by
sim642
NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
semgrep
#7751:
Pull request #1176
opened
by
sim642