Software Engineering (SE) is the systematic design, development, maintenance, and
management of software applications underpinning the digital infrastructure of our modern …

Formal verification provides a rigorous and systematic approach to ensure the correctness
and reliability of software systems. Yet, constructing specifications for the full proof relies on …

The proliferation of AI technologies has brought to the forefront concerns regarding the
privacy and security of user data, particularly with the increasing deployment of powerful …

This paper presents a new approach for using Large Language Models (LLMs) to improve
static program analysis. Specifically, during program analysis, we interleave calls to the …

Deadlocking is an unresponsive state of software that arises when threads hold locks while
trying to acquire other locks that are already held by other threads, resulting in a circular lock …

Large language models (LLMs) have demonstrated significant prowess in code analysis
and natural language processing, making them highly valuable for software testing. This …

This review aims to evaluate and compare various static analysis tools across multiple
programming languages for memory management. The tools and techniques under scrutiny …

With the advent of large language models (LLMs) in the artificial intelligence (AI) area, the
field of software engineering (SE) has also witnessed a paradigm shift. These models, by …

Abstract Configurable Program Analysis (CPA) allows users to customize program analysis
based on their preferences. However, current program verification tools like Cpachecker …

Static Application Security Testing (SAST) tools are crucial for early bug detection and code
quality but often generate false positives that slow development. Automating false positive …