Static and dynamic analysis techniques for bug detection have significantly improved in the last decades, and are today implemented in industry-strength tools and routinely applied by developers. Nevertheless, it is still difficult to deal with bugs located in OTS software, since developers lack the source code and/or knowledge about their internals to fix these bugs. In this paper, we propose an approach for fixing memory leak bugs in OTS software, that leverages dynamic binary analysis tools to find bugs, and binary code rewriting to patch them. Patching will allow to rejuvenate OTS-based software less frequently, thus further improving the availability of applications using this approach. Future work will implement this approach in a pro...
Although software is pervasive, almost all programs suffer from bugs and errors. To detect software ...
Abstract—Detecting bugs as early as possible plays an impor-tant role in ensuring software quality b...
Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we ...
Static and dynamic analysis techniques for bug detection have significantly improved in the last dec...
Abstract—Static and dynamic analysis techniques for bug detection have significantly improved in the...
Memory leaks are recognized to be one of the major causes of memory exhaustion problems in complex s...
Bug fix is an important and challenging task in software development and maintenance. Bug fix is als...
Memory leaks are recognized to be one of the major causes of memory exhaustion problems in complex s...
Abstract—Automatic bug fixing has become a promising direc-tion for reducing manual effort in debugg...
Memory leaks are known to be a major cause of reliability and performance issues in software. This p...
Software vulnerabilities still constitute a high security risk and there is an ongoing race to patch...
Abstract — Many bugs, even those that are known and documented in bug reports, remain in mature soft...
We describe a method of creating tools to find bugs in software that is driven by the analysis of pr...
In this paper, virtualization technology is utilized to transparently record the allocation and rele...
This paper reports a practical experience with mem- ory analysis on a real world complex middleware ...
Although software is pervasive, almost all programs suffer from bugs and errors. To detect software ...
Abstract—Detecting bugs as early as possible plays an impor-tant role in ensuring software quality b...
Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we ...
Static and dynamic analysis techniques for bug detection have significantly improved in the last dec...
Abstract—Static and dynamic analysis techniques for bug detection have significantly improved in the...
Memory leaks are recognized to be one of the major causes of memory exhaustion problems in complex s...
Bug fix is an important and challenging task in software development and maintenance. Bug fix is als...
Memory leaks are recognized to be one of the major causes of memory exhaustion problems in complex s...
Abstract—Automatic bug fixing has become a promising direc-tion for reducing manual effort in debugg...
Memory leaks are known to be a major cause of reliability and performance issues in software. This p...
Software vulnerabilities still constitute a high security risk and there is an ongoing race to patch...
Abstract — Many bugs, even those that are known and documented in bug reports, remain in mature soft...
We describe a method of creating tools to find bugs in software that is driven by the analysis of pr...
In this paper, virtualization technology is utilized to transparently record the allocation and rele...
This paper reports a practical experience with mem- ory analysis on a real world complex middleware ...
Although software is pervasive, almost all programs suffer from bugs and errors. To detect software ...
Abstract—Detecting bugs as early as possible plays an impor-tant role in ensuring software quality b...
Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we ...