Simmo Saan

Both of the two tasks stem from the same problem: due to all zero memory from `ldv_zalloc`, a lot of the code is dead. CPAchecker's violation witness for the first...

> We'll give an update at GobCon today. While reviewing #839 I wanted to look up what this was all about, but that day's GobCon notes simply say > TODO:...

This probably deserves a separate issue because it's not related to this one, right? To achieve that, I guess we'd need some kind of var_eq analysis, but with equalities in...

By the way, this is one of the selling points for Mopsa. For example, see their [SV-COMP 2023 tool paper](https://link.springer.com/chapter/10.1007/978-3-031-30820-8_37) or [Monat's PhD thesis](https://tel.archives-ouvertes.fr/tel-03533030). Although their solution is significantly more...

> What do we want to do with this? Any interest in fixing it up and merging or should we close this issue? I think there was no clear way...

Just using the YAML format instead of CIL's current one or even defining ILP32 and LP64 in OCaml directly (because they should be fully fixed) won't really make a difference....

When @karoliineh extracted a simplified non-escape analysis from region, a fixpoint error arose from a ZSTD test we have. I managed to reproduce an analogous fixpoint error with the original...

If there's an access to a struct field on an unknown pointer, then that's collected under the memory location `(struct foo).bar`. To restart those, you need to restart the type...

Actually now that race analysis is split off from access analysis, `IterSysVars` should be in `RaceAnalysis` instead.

```console rlwrap ./regtest.sh 36 01 --enable server.enabled --enable server.reparse ``` now works in server mode, so this can be considered reasonably done for the time being. If there's ever interest...