Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-01-26
2010-11-16
Puente, Emerson C (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S120000
Reexamination Certificate
active
07836433
ABSTRACT:
The present invention extends to methods, systems, and computer program products for analyzing binary code. Binary code is received. Code analysis rules indicative of a query related to the functionality of the binary code are received. The query is implemented in analysis code configured to determine results of the query. It is determined if valid cached results for the query are cached in a results store. If not, the analysis code is invoked to determine the results for the query and the results are cached. Accordingly, when the query is received in the future, the results can be accessed from the results store without having to invoke the analysis code to determine the results. If so, the cached results are retrieved so as to avoid further invocation of the analysis code. The results are returned.
REFERENCES:
patent: 5749079 (1998-05-01), Yong et al.
patent: 5864837 (1999-01-01), Maimone
patent: 5987254 (1999-11-01), Subrahmanyam
patent: 7065743 (2006-06-01), Blais et al.
patent: 7503037 (2009-03-01), Banerjee et al.
patent: 2001/0044794 (2001-11-01), Nasr et al.
patent: 2002/0198874 (2002-12-01), Nasr et al.
patent: 2003/0037177 (2003-02-01), Sutton et al.
patent: 2004/0083464 (2004-04-01), Cwalina et al.
patent: 2005/0108562 (2005-05-01), Khazan et al.
Reverse Engineering Meets Data Analysis Periklis Andritsos and Renee J. Miller Proceedings of the 9th International Workshop on Program Comprehension p. 157 Year of Publication: 2001.
Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM Philip W. L. Fong OOPSLA'04, Oct. 24-28, 2004.
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ G. Balakrishnan et al in Proc. Computer Aided Verification (CAV), Jul. 2005.
NeD: The Network Extensible Debugger Paul Maybee Summer '92 USENIX, pp. 145-156, Jun. 1992.
Fanning Michael C.
Gogh Jeffrey van
Guerrera Nicholas P.
Microsoft Corporation
Mills Paul
Puente Emerson C
Workman Nydegger
LandOfFree
Analyzing binary code does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Analyzing binary code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analyzing binary code will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4197059