Refactor writing to pointers - Githubissues

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Refactor writing to pointers #1531

Open karoliineh opened 1 week ago

karoliineh commented 1 week ago

Removes dead code that indicates as if we are not writing to known addresses if a pointer contains an unknown element, solves #1461
Fixes issue #1465, and replaces complicated set logic with simplified AD.fold, for that:
- Asserts that the set of lval-s is not empty when written to
- Does not remove NullPtr-s from address sets in collect_invalidate and reachable_from_value #1175
- Fixes a regression test by including stdlib.h for correctly importing strtol
does not remove UnknownPtr before calling reachable_vars in ReachableFrom #1175