To design effective tools for detecting and recovering from software failures requires a deep
understanding of software bug characteristics. We study software bug characteristics by …

Many bugs, even those that are known and documented in bug reports, remain in mature
software for a long time due to the lack of the development resources to fix them. We …

C makes it easy to misuse integer types; even mature programs harbor many badly-written
integer code. Traditional approaches at best detect these problems; they cannot guide …

Fixing C buffer overflows at source code level remains a manual activity, at best semi-
automated. We present an automated approach to fix buffer overflows by describing two …

OpenRefactory/C is a refactoring tool and, more generally, an infrastructure that resolves the
challenges of building C program transformations. In this paper, we describe its architecture …

Refactoring is a common approach to producing better quality software. Its impact on many
software quality properties, including reusability, maintainability and performance, has been …

With the increasing demand for developing high-quality and more reliable systems, the
process of developing trustworthy computer software is a challenging one. In this paper, we …

This demonstration will provide an overview of OpenRefactory/C, an infrastructure for
developing source-level program transformations for C programs. OpenRefactory/C is …

The main component of study is to confirm that how developed security model are helpful for
security improvement of object oriented designs. Software refactoring is an essential activity …

Existing secure software development principles tend to focus on coding vulnerabilities,
such as buffer or integer overflows, that apply to individual program statements, or issues …