Linear scan register allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Linux Debugging and Performance Tuning: Tips and Techniques
Linux Debugging and Performance Tuning: Tips and Techniques
Pin: building customized program analysis tools with dynamic instrumentation
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
HDTrans: an open source, low-level dynamic instrumentation system
Proceedings of the 2nd international conference on Virtual execution environments
Valgrind: a framework for heavyweight dynamic binary instrumentation
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Multithreaded Optimizing Technique for Dynamic Binary Translator CrossBit
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 05
Hi-index | 0.00 |
Platform, which is based on typical OS, has been widely used in various areas from smart phone to TV. Along with this, the need for kernel analyzer has also grown up in order to develop and debug the kernel and its component effectively. Although previous approaches provide us some information about the target, that information is no more than hardware state, or primitive memory map, which is hard to understand. Moreover they cause an amount of overheads during analysis, so that analysis has been unable to work on environment as real. For applications some researches have been studied the analyzer using binary translation, and now it is widely used. Adopting their ideas, we propose dynamic kernel analyzer: DyKA. Kernel analyzers mainly focus on not kernel itself, but its plugins like device driver since the plugins comprise a large portion of OS development. Because of its locality, we should pay attention to the quality of the target code after translation in order to make the dynamic analyzer effective. Thus we apply some optimizations with DyKA as considering the target attribute. We implement the idea of DyKA on Linux system, and make sure, that it could analyze the target without a huge overhead, by experimental evaluation.