Skip to content
Back to pull request #1176

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis #8061

Sign in to view logs

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis #8061

Triggered via pull request September 19, 2023 14:50
@sim642sim642
opened #1176
race-null
Status Skipped
Total duration 3s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

indentation.yml

on: pull_request
Matrix: indentation
Fit to window
Zoom out
Zoom in