Predictive models are one of the most important techniques that are widely applied in many
areas of software engineering. There have been a large number of primary studies that …

Memory-related vulnerabilities can result in performance degradation or even program
crashes, constituting severe threats to the security of modern software. Despite the …

Existing tools for the automated detection of memory corruption bugs are not very effective in
practice. They typically recognize only standard memory management (MM) APIs (eg …

Program APIs must be used in accordance with their specifications. API post-handling (APH)
is a common type of specification that deals with APIs' return checks, resource releases, etc …

Resource leaks, caused by resources not being released after acquisition, often lead to
performance issues and system crashes. Existing static detection techniques rely on …

Bug localization technologies and tools are widely used in software engineering. Although
state-of-the-art methods have achieved great progress, they only consider the source code …

Modern operating system kernels, typically written in low-level languages such as C and
C++, are tasked with managing extensive memory resources. Memory-related errors, such …

In the past years, the CWE-190 integer overflow led to many vulnerabilities. Program
verification techniques such as Abstract Interpretation can show that no such bug is present …

Resource leaks, which are caused by acquired resources not being released, often result in
performance degradation and system crashes. Resource leak detection relies on two …

Recently, pretrained language models have shown state-of-the-art performance on the
vulnerability detection task. These models are pretrained on a large corpus of source code …