Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-08-28
2007-08-28
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S126000, C712S227000
Reexamination Certificate
active
10713651
ABSTRACT:
A method for evaluating safety of a tracing program involves loading a byte code in a tracing framework, where the byte code includes instructions of the tracing program, validating the instructions when loading the byte code, performing one or more safety checks on the instructions while performing virtual machine emulation of the instructions, reporting an error condition and aborting virtual machine emulation of an unsafe instruction in the instructions when the safety check(s) detect(s) the unsafe instruction, and completing virtual machine emulation of a safe instruction in the instructions when the safety check(s) detect(s) the safe instruction, after aborting virtual machine emulation of the unsafe instruction.
REFERENCES:
patent: 4713749 (1987-12-01), Magar et al.
patent: 5432795 (1995-07-01), Robinson
patent: 5668999 (1997-09-01), Gosling
patent: 5692047 (1997-11-01), McManis
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5938778 (1999-08-01), John et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6026237 (2000-02-01), Berry et al.
patent: 6075940 (2000-06-01), Gosling
patent: 6092147 (2000-07-01), Levy et al.
patent: 6125441 (2000-09-01), Green
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6581206 (2003-06-01), Chen
patent: 6704923 (2004-03-01), Gosling
patent: 6742178 (2004-05-01), Berry et al.
patent: 6851112 (2005-02-01), Chapman
patent: 6988261 (2006-01-01), Sokolov et al.
patent: 7065747 (2006-06-01), Sokolov et al.
patent: 2002/0040470 (2002-04-01), Guthrie et al.
patent: 2003/0135844 (2003-07-01), Yellin et al.
patent: 2003/0154468 (2003-08-01), Gordon et al.
patent: 2004/0015872 (2004-01-01), Crocker
patent: 2004/0015873 (2004-01-01), Sokolov et al.
patent: 2005/0044542 (2005-02-01), Grimaud et al.
Leroy, X. 2003. Java Bytecode Verification: Algorithms and Formalizations. J. Autom. Reason. 30, 3-4 (Aug. 2003). 235-269.
Basin, D., Friedrich, S., and Gawkowski, M. 2003. Bytecode Verification by Model Checking. J. Autom. Reason. 30, 3-4 (Aug. 2003), 399-444.
Barbuti, R., Tesei, L., Bernardeschi, C., and De Francesco, N. 2002. Fixing the Java bytecode verifier by a suitable type domain. In Proceedings of the 14th international Conference on Software Engineering and Knowledge Engineering (Ischia, Italy, Jul. 15-19, 2002). SEKE '02, Vol. 27. ACM Press, New York, NY, 377-382.
Aho, Sethi, and Ullman, “Compilers: Principles, Techniques, and Tools”,1986, Addison-Wesley, ISBN 0-201-10088-6, Chapter 5.
Hauswirth, M., Kerer, C., and Kurmanowytsch, R. 2000. A secure execution framework for Java. In Proceedings of the 7th ACM Conference on Computer and Communications Security (Athens, Greece, Nov. 1-4, 2000). P. Samarati, Ed. CCS '00. ACM Press, New York, NY,, 43-52.
Tamches, Ariel and Miller, Barton P; Fine-Grained Dynamic Instrumentation of Commodity Operating System Kemels; [Online ]; http://www.usenix.org/publications/library/proceedings/osdi99/full—papers/tamches/tamches.pdf, Published Feb. 1999.
Murayama, John; “Performance Profiling Using TNF”;[Online ]; http://developers.sun.com/solaris/articles/tnf.html, Jul. 2001.
Lorch, Jacob R. and Smith, Alan J.; “The Vtrace Tool: Building a system Tracer for Windows NT and Windows2000”; [Online ]http://msdn.microsoft.com/msdnmag/issues/1000/Vtrace/default.aspx, Oct. 2000.
“Chapter 10. The Generalized Trace Facility (GTF) ”;[Online ]; http://publib.boulder.ibm.com/cgi-bin/bookmgr/BOOKS/IEA2V100/CCONTENTS, Jan. 2001.
Mirgorodskii, Alex; “The Path to Portable Kernel Instrumentation: the Kerninst API”; http://www.dyninst.org/mtg2003/slides/KerninstAPI.pdf, Apr. 2003.
Richard Moore, et al.; “IDM Dynamic Probes”; http://www-124.ibm.com/developerworks/opensource/linux/projects/dprobes/README, 2000.
K. Yaghmour et al.; “Measuring and Characterizing System Behavior Using Kernel-Level Event Logging”; Proceedings of the 2000 Usenix Annual Technical Conference; Jun. 18-23, 2000, San Diego, California, USA.
Dam Tuan
Osha & Liang LLP
Rutten J. Derek
Sun Microsystems Inc.
LandOfFree
Mechanism for safe byte code in a tracing framework does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Mechanism for safe byte code in a tracing framework, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mechanism for safe byte code in a tracing framework will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3864583