Code embedding, as an emerging paradigm for source code analysis, has attracted much
attention over the past few years. It aims to represent code semantics through distributed …

This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …

The automated task of locating the potential buggy files in a software project given a bug
report is called bug localization. Bug localization helps developers focus on crucial files …

To support developers in debugging and locating bugs, we propose a two-phase prediction
model that uses bug reports' contents to suggest the files likely to be fixed. In the first phase …

Context Several issues or defects in released software during the maintenance phase are
reported to the development team. It is costly and time-consuming for developers to …

We present a new Strong UPdate Analysis for C programs, called Supa, that enables
computing points-to information on-demand via value-flow refinement, in environments with …

As software evolves, problematic changes can significantly degrade software performance,
ie, introducing performance regression. Performance regression testing is an effective way …

Despite growing research interest, existing directed grey-box fuzzers do not scale well with
program complexity. In this paper, we identify two major scalability challenges for current …

Developing scalable and precise points-to analyses is increasingly important for analysing
and optimising object-oriented programs where pointers are used pervasively. An …

One possible solution to the verification crisis is to bridge the gap between formal verification
and simulation by using hybrid techniques. This paper presents a study of such a functional …