Rosemary Dataflow Null Pointer Check

Binary static analysis problem: null pointer check