conference paper · Communications in computer and information science · 2008
Computing Must and May Alias to Detect Null Pointer Dereference
Xiaodong Ma, Ji Wang, Wei Dong
Cited by 9Abstract and details only
Abstract
The index has no abstract for this paper. The publisher’s page may have one.
Cite this paper
Ma, X., Wang, J., & Dong, W. (2008). Computing Must and May Alias to Detect Null Pointer Dereference. Communications in computer and information science, 252–261. https://doi.org/10.1007/978-3-540-88479-8_18
Ma, Xiaodong, et al. “Computing Must and May Alias to Detect Null Pointer Dereference.” Communications in computer and information science, 2008, pp. 252–61, https://doi.org/10.1007/978-3-540-88479-8_18.
Ma, Xiaodong, Ji Wang, and Wei Dong. 2008. “Computing Must and May Alias to Detect Null Pointer Dereference.” Communications in computer and information science: 252–61. https://doi.org/10.1007/978-3-540-88479-8_18.
Ma, X., Wang, J. and Dong, W. (2008) ‘Computing Must and May Alias to Detect Null Pointer Dereference’, Communications in computer and information science, pp. 252–261. Available at: https://doi.org/10.1007/978-3-540-88479-8_18.
@article{ma2008computing,
title = {{Computing Must and May Alias to Detect Null Pointer Dereference}},
author = {Ma, Xiaodong and Wang, Ji and Dong, Wei},
journal = {Communications in computer and information science},
pages = {252--261},
year = {2008},
doi = {10.1007/978-3-540-88479-8_18}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.
Related papers
A Study of the Static Method of Detecting Null Pointer Dereference
Xiaodong Ma · Computer Engineering and Science · 2009
Cited by 0
Null Pointer Dereference Detection Based on Value Dependences Analysis
MA Se · Dianzi xuebao · 2015
Cited by 1
Null Dereference Detection via a Backward Analysis
Qian Wang, Dahai Jin, Yunzhan Gong · Asia-Pacific Software Engineering Conference (APSEC) · 2013
Cited by 1
Detecting Null-dereference Bugs via a Backward Analysis
Qian Wang, Dahai Jin, Yunzhan Gong et al. · Journal of Software · 2013
Cited by 0
Precise Null Pointer Analysis Through Global Value Numbering
Ankush Das, Akash Lal · Lecture notes in computer science · 2017
Cited by 7
Detecting all potential null dereferences based on points-to property sound analysis
Yukun Dong · International Journal of Computers and Applications · 2018
Cited by 0
Null dereference verification via over-approximated weakest pre-conditions analysis
Ravichandhran Madhavan, Raghavan Komondoor · ACM SIGPLAN Notices · 2011
Cited by 10