search

goblint / analyzer

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

Continue refactoring of must-locksets to use definite mvals instead of addresses #1503

Closed sim642 closed 2 months ago

sim642 commented 3 months ago

This is on top of #1500.

It is a continuation of #1430. The fix from #1500 made it possible to replace the remaining usages of addresses with mvals with definite indices.