Export Citations
1 Results for: Author: Zhang, ShiKun
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,854,539 records)|Limit your search to The ACM Full-Text Collection (777,156 records)
Select All
- ArticleNovember 2015
Practical null pointer dereference detection via value-dependence analysis
ISSREW '15: Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)Pages 70–77https://doi.org/10.1109/ISSREW.2015.7392049This paper proposes a practical static analysis tool named LUKE, for detecting null pointer dereferences (NPD) in C programs. LUKE first uses a guarded value-dependence graph (VDG) to track the dependence relations of values, and then detects NPD by ...