Instead of check each load and store instruction, we check the usage of the load instruction.
Currently, there are four kinds of instruction that may use a load instruction as its argument:
load, store, GEP and call instruction. We instrument these four kinds instruction to check there
may be a null pointer dereference.