IEEE

Leveraging Deep Learning Models for Cross-function Null Pointer Risks Detection

Abstract: The progress made in deep learning for natural language understanding has inspired researchers to explore similar techniques for programming language understanding. Various methods have been ...
IEEE

Practical null pointer dereference detection via value-dependence analysis

Abstract: This 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 ...
GitHub

Null Pointer Dereference in Function topic_filtern at mqtt_parser.c Leading to Runtime Error

A runtime error occurs in the topic_filtern function of the mqtt_parser.c file within the NanoMQ project. The function triggers an undefined behavior when the strncpy ...
InfoQ

C# Futures: Null Check Operator

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. This article dives into the happens-before ...
GitHub

Disallow casts to null-terminated pointers in checked scopes.

Disallow cast from other checked pointer types to nt_array_ptr in checked scopes because the source pointer might not point to a NULL_terminated array. Casting from an unchecked pointer to a ...
acm.org

Ending Null Pointer Crashes

As an earlier article 5 emphasized, code matters; so do programming languages. While Eiffel is best known for its Design by Contract techniques, they are only part of a systematic design all focused ...