Argument selection defects, in which the programmer has chosen the wrong argument to a
function call is a widely investigated problem. The compiler can detect such misuse of …

Argument selection defects, in which the programmer chooses the wrong argument to pass
to a parameter from a potential set of arguments in a function call, is a widely investigated …

Programmers often add meaningful information about program semantics when naming
program entities such as variables, functions, and macros. However, static analysis tools …

In statically-typed programming languages, the compiler ensures that method arguments are
passed in the expected order by checking the type of each argument. However, calls to …

Machine Learning (ML) has revolutionized the field of computer software development,
enabling data-based predictions and decision-making across several domains. Following …

Code completion is an important feature of integrated development environments (IDEs). It
allows developers to produce code faster, especially novice ones who are not fully familiar …

Most statically typed functional programming languages allow programmers to write partial
functions: functions that are not defined on all the elements of their domain as specified by …

Identifiers chosen by programmers convey rich semantic information that could be exploited
to enhance program analysis for various software engineering tasks, eg, anomaly detection …

Exception handling (EH) is a feature common to many modern programming languages,
including C++, Java, and Python, that allows error handling in client code to be performed in …

To support C++ exception handling, compilers generate metadata that is a rich source of
information about the code layout. On Linux, this metadata is also used to support stack …