`--biabduction-unsafe-malloc` doesn't assume that `calloc()` and `realloc()` never return null

[apaz-cli]

When projects make the assumption that malloc() never returns null (as is the default on popular operating systems), they typically also make the same assumptions for calloc() and realloc(). Am I blind and I just need to read the docs, or does a solution for this exist?

[Joao-Peterson]

my question exactly!