Value set dereferencing: do not treat struct prefixes as equal · diffblue/cbmc@b450a9e · GitHub

GitHub Advanced Security / CodeQL succeeded May 6, 2024 in 4s

No new alerts in code changed by this pull request

View all branch alerts.