Practical null pointer dereference detection via value-dependence analysis. - Sen Ma; MingYang Jiao; Shikun Zhang; Wen Zhao; Dong Wei Wang (ISSRE Workshops, 2015)