Explicit write to address `0` not flagged

[rokopt]

Today I analyzed the following branch:

https://github.com/rokopt/stellar-core/tree/muse-dev-experiments

With the following results:

https://console.muse.dev/result/rokopt/stellar-core/01EKJR98Y8YSJBQDV5J6PGRHBN?tab=results

I made that branch so that I could introduce a bug to try to make sure I'd get some analysis output:

    *((char*)NULL) = '0';

However, it looks to me as though the analyzer didn't complain.

Since it's impossible to catch all bugs (thanks, Turing!), what "should" be caught is bound to be a judgment call; I figured I'd file this as one because it strikes me as sufficiently overt that you might want to know it wasn't detected.