Stem derefer$ (all stems)

6 papers:

FSE-2012-FarzanMRS #concurrent #predict #source code

Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.

OOPSLA-2011-MadhavanK #analysis #approximate #null #verification

Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.

PASTE-2010-AyewahP #analysis #null

Null dereference analysis in practice (NA, WP), pp. 65–72.

ICSE-2009-NandaS #analysis #interprocedural #java

Accurate Interprocedural Null-Dereference Analysis for Java (MGN, SS), pp. 133–143.

ISSTA-2008-LoginovYCFRN #analysis #safety #verification

Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.

ESEC-FSE-2003-YongH #c #pointer #source code

Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.