Code verification system and method

Details Code verification system and method Code verification system and method

2007-10-23

2007-10-23

Zhen, Wei (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C717S129000, C717S143000, C714S015000

Reexamination Certificate

active

10752989

ABSTRACT:
The system of the present disclosure comprises memory for storing a compiled program. The system further comprises logic configured to translate the compiled program into a set of human-readable instructions and construct a coarse tree representing the program flow of the set of human-readable instructions. The logic is further configured to compute a first type signature representative of a code construct comprising alternative code paths within the program flow and determine a second type signature representative of the coarse tree based upon the first type signature.

REFERENCES:
patent: 4819233 (1989-04-01), Delucia et al.
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5892947 (1999-04-01), DeLong et al.
patent: 6026237 (2000-02-01), Berry et al.
patent: 6070239 (2000-05-01), McManis
patent: 6092147 (2000-07-01), Levy et al.
patent: 6219829 (2001-04-01), Sivakumar et al.
patent: 6249882 (2001-06-01), Testardi
patent: 6314558 (2001-11-01), Angel et al.
patent: 6353897 (2002-03-01), Nock et al.
patent: 6594783 (2003-07-01), Dollin et al.
patent: 6601114 (2003-07-01), Bracha et al.
patent: 6618769 (2003-09-01), Bracha et al.
patent: 6618855 (2003-09-01), Lindholm et al.
patent: 6671874 (2003-12-01), Passova
patent: 2002/0194579 (2002-12-01), Dollin et al.
Freund, et al. “A Type System for Object Initialization in the Java Bytecode Language”, 2000, ACM, pp. 1196-1250.
Knoblock, et al. “Type Elaboration and Subtype Completion for Java Bytecode”, 2000, ACM, p. 228-242.
Goldberg, Allen “A Specification of Java Loading and Bytecode Verification”, 1998, ACM, p. 49-58.

Affiliated with

Also associated with

Rating

Code verification system and method does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Code verification system and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Code verification system and method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3854532