--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!