search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Fix `global_init` for escaped globals in mutex-meet-tid cluster configuration #1481

Closed michael-schwarz closed 1 month ago

michael-schwarz commented 1 month ago

For escaping locals, the lookup in the cluster map yielded the bot element, which in turn caused an unsoundness causing all branches to be dead. This PR addresses this issue.

Closes #1479