Method and system for analyzing source code

Details Method and system for analyzing source code Method and system for analyzing source code

2005-04-05

2010-02-09

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S152000, C717S154000

Reexamination Certificate

active

07661097

ABSTRACT:
Methods and systems are provided for analyzing a source code. The method includes collecting function entry information during the execution of tests on the source codes. The function entry information is then converted into symbolic codes. The function calls are replaced by the elements of the symbolic codes in the source codes. The elements can be in the form of functions. Subsequently, static analysis is performed on the source code by using the mapping between the function calls and the functions in the source code.

REFERENCES:
patent: 5293629 (1994-03-01), Conley et al.
patent: 5655122 (1997-08-01), Wu
patent: 5794047 (1998-08-01), Meier
patent: 5797012 (1998-08-01), Blainey et al.
patent: 5862382 (1999-01-01), Kataoka
patent: 5950009 (1999-09-01), Bortnikov et al.
patent: 6026234 (2000-02-01), Hanson et al.
patent: 6029004 (2000-02-01), Bortnikov et al.
patent: 6070009 (2000-05-01), Dean et al.
patent: 6292940 (2001-09-01), Sato
patent: 6343376 (2002-01-01), Saxe et al.
patent: 6817014 (2004-11-01), Hundt et al.
patent: 7120902 (2006-10-01), Flanagan et al.
patent: 7140008 (2006-11-01), Chilimbi et al.
patent: 7168009 (2007-01-01), Darringer et al.
patent: 7237236 (2007-06-01), Kershenbaum et al.
patent: 7240332 (2007-07-01), Berg et al.
patent: 2003/0172293 (2003-09-01), Johnson et al.
patent: 2004/0088687 (2004-05-01), Dalton et al.
patent: 2005/0015752 (2005-01-01), Alpern et al.
patent: 2005/0081106 (2005-04-01), Chang et al.
patent: 2005/0108562 (2005-05-01), Khazan et al.
patent: 2006/0225056 (2006-10-01), Mukkavilli
patent: 2007/0006194 (2007-01-01), Mejri et al.
Feng, H, Giffin, J, Juang, Y, Jha, S Lee, W, Miller, B. “Formalizing sensitivity in static analysis for intrusion detection.” Security and Privacy, 2004. Proceedings. 2004 IEEE Symposium on May 2004: 194-208.

Affiliated with

Also associated with

Rating

Method and system for analyzing source 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 Method and system for analyzing source code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for analyzing source code will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4227413