How to disable false positive MLK.MUST in Klockwork
I have code like:
a = malloc(4); MACRO_THAT_STORE(a); return 0;
This code is inter
