BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
null (4)
analysi (4)
program (2)
pointer (2)
attack (1)

Stem derefer$ (all stems)

6 papers:

FSEFSE-2012-FarzanMRS #concurrent #predict #source code
Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.
OOPSLAOOPSLA-2011-MadhavanK #analysis #approximate #null #verification
Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.
PASTEPASTE-2010-AyewahP #analysis #null
Null dereference analysis in practice (NA, WP), pp. 65–72.
ICSEICSE-2009-NandaS #analysis #interprocedural #java
Accurate Interprocedural Null-Dereference Analysis for Java (MGN, SS), pp. 133–143.
ISSTAISSTA-2008-LoginovYCFRN #analysis #safety #verification
Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
ESEC-FSEESEC-FSE-2003-YongH #c #pointer #source code
Protecting C programs from attacks via invalid pointer dereferences (SHY, SH), pp. 307–316.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.