The correctness of debug information included in optimized binaries has been the subject recent attention by research community. Indeed, it represents a practically important problem, as most software running production is produced an optimizing compiler. Current solutions rely on invariants, human-defined rules that embed desired behavior, whose violation may indicate presence bug. Although th...

Debugging is the process of locating and fixing errors in computer programs. Debugging is essential in software development and almost every programming language has its own specialized tools for the task, with high variability regarding their debugging power. This paper briefly describes ongoing research towards a Ph.D. thesis on universal debugging, a proposal to develop a program debugging f...

Debugging is a time consuming task in hardware design. Thus effective debugging techniques are required when developing complex reliable systems. In this paper a new debugging approach based on the analysis of dynamic dependency graphs is presented. Our approach combines reverse debugging, dynamic forward/backward slicing, as well as spectrum-based fault localization and adapts them for the use...

Debugging usually facilitates the dynamic analysis of runtime application for software development. Yet it can also be a threat to system security when adopted by malicious attackers, and hence anti-debugging becomes valuable. The major challenges of software-only anti-debugging are the compromised strategy and lack of self-protection. This paper proposes software protection through anti-debugg...

Debugging is efficient if it detects all program errors in a short time. This paper discusses several techniques for improving debugging efficiency. Attention is given both to the initial debugging and to acceptance testing in the maintenance stage. A main decision is whether to use top-down or bottom-up debugging, and it is suggested that top-down debugging is more efficient if Combined with s...