Improve output for component of blob indicating whether it was created with `malloc` or `calloc`

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Improve output for component of blob indicating whether it was created with `malloc` or `calloc` #1451

Closed michael-schwarz closed 3 weeks ago

michael-schwarz commented 1 month ago

Currently the output seems to be:

(trivial arrays:Array: (value:Uninitialized, size:4096, no zeroinit:false), IntDomLifter(intdomtuple):1) for calloc
(trivial arrays:Array: (value:Uninitialized, size:4096, no zeroinit:true), IntDomLifter(intdomtuple):1) for malloc

sim642 commented 1 month ago

The "no zeroinit" is quite confusing to read indeed, at minimum it shouldn't be negated, so the values themselves could be flipped. But also there are places in code that call it "origin" which is particularly confusing.