This paper describes two program transformations to fix buffer overflows originating from
unsafe library functions and bad pointer operations. Together, these transformations fixed all …

To avoid bugs in software products a lot of effort is put into testing. Especially code which
has been modified since the last release, is likely to induce new bugs and hence should be …

Inconsistency checking is a method for detecting software errors that relies only on
examining multiple uses of a value. We propose that inconsistency inference is best …

Misconfigurations are not only prevalent, but also costly on diagnosing and troubleshooting.
Unlike software bugs, misconfigurations are more vulnerable to users' mistakes. Improving …

With programs getting larger and often more complex with each new release, programmers
need all the help they can get in understanding and transforming programs. Fortunately …

Type confusion bugs are a common source of security problems whenever software makes
use of type hierarchies, as an inadvertent downcast to an incompatible type is hard to detect …

Refactoring usually involves statically analyzing source code to understand which
transformations safely preserve execution behavior of the program. However, static analysis …

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 …

Refactoring is performed to improve software quality while leaving the behaviour of the
software unchanged. Identifying refactorings applied to a software system is an important …

Before implementing a function, programmers are encouraged to write a purpose statement
ie, a short, natural-language explanation of what the function computes. A purpose …