search

goblint / analyzer

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

Make all usages of `Obj` explicit #1445

Closed karoliineh closed 4 months ago

karoliineh commented 4 months ago

Solves #1364