Currently, stout's ABORT (which is mapped to _Abort) checks it precondition incompletely and incorrectly.
Its current control flow is roughly
We here check the precondition message != nullptr after we already have called strlen(message); calling strlen on a nullptr already triggers undefined behavior.
Similarly, we never guard against a prefix which is nullptr, but unconditionally call strlen on it.
It seems it should be possible to assert that neither prefix nor message are nullptr before any use.
This was diagnosed by coverity as CID-1400833, and has been present in all releases since 0.23.0.