Valgrind: A Program Supervision Framework
作者： Nicholas Nethercote , Julian Seward
DOI: 10.1016/S1571-0661(04)81042-9
关键词:
摘要: … When Valgrind spots this sequence of instructions during x86 disassembly, the resulting translation causes control to drop into its code for handling client requests. Arguments can be …
elsevier.com
sci-hub.se 参考文章(27)
S. C. Johnson, Murray Hill, Lint, a C Program Checker ,(1978)
Brian Lewis, David Ung, Cristina Cifuentes, Walkabout: a retargetable dynamic binary translation framework Sun Microsystems, Inc.. ,(2002)
Kevin Skadron, Jack Davidson, Kevin Scott, Low-overhead Software Dynamic Translation Low-overhead Software Dynamic Translation. ,(2001)
Suan Hsi Yong, Susan Horwitz, Reducing the Overhead of Dynamic Analysis Electronic Notes in Theoretical Computer Science. ,vol. 70, pp. 158- 178 ,(2002) , 10.1016/S1571-0661(04)80583-8
Jerry J. Harrow, Runtime Checking of Multithreaded Applications with Visual Threads international workshop on model checking software. pp. 331- 342 ,(2000) , 10.1007/10722468_20
Nicholas Nethercote, Alan Mycroft, Redux: A Dynamic Dataflow Tracer Electronic Notes in Theoretical Computer Science. ,vol. 89, pp. 149- 170 ,(2003) , 10.1016/S1571-0661(04)81047-8
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps, Debugging via Run-Time Type Checking fundamental approaches to software engineering. pp. 217- 232 ,(2001) , 10.1007/3-540-45314-8_16
Michael Burrows, Stephen N. Freund, Janet L. Wiener, Run-time type checking for binary programs compiler construction. pp. 90- 105 ,(2003) , 10.1007/3-540-36579-6_7
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs ACM Transactions on Computer Systems. ,vol. 15, pp. 391- 411 ,(1997) , 10.1145/265924.265927
Timothy L. Harris, Dependable software needs pervasive debugging Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10. pp. 38- 43 ,(2002) , 10.1145/1133373.1133380