Methods and systems for complete static analysis of software...

Details Methods and systems for complete static analysis of software... Methods and systems for complete static analysis of software...

2011-05-03

2011-05-03

Yigdall, Michael J (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S106000, C717S124000, C717S126000, C717S131000, C717S141000, C717S154000, C717S162000, C717S172000

Reexamination Certificate

active

07937692

ABSTRACT:
Embodiments of the present invention provide systems and methods for the static analysis of entire systems of software. Source code for at least some of the software system is received. An functional representation of the source code is generated from when the source code is compiled and references to other software are identified. The functional representations of the other software is retrieved from an archive and an abstract representation of the entire software system is built. A static analysis is then performed against the abstract representation of the entire system and results are provided. The software system or one or more of its components may be certified based on the static analysis results.

REFERENCES:
patent: 5423042 (1995-06-01), Jalili et al.
patent: 5469572 (1995-11-01), Taylor
patent: 5694540 (1997-12-01), Humelsine et al.
patent: 5734908 (1998-03-01), Chan et al.
patent: 6292940 (2001-09-01), Sato
patent: 6308320 (2001-10-01), Burch
patent: 6453465 (2002-09-01), Klein
patent: 6598058 (2003-07-01), Bird et al.
patent: 6643842 (2003-11-01), Angel et al.
patent: 6665688 (2003-12-01), Callahan et al.
patent: 6769115 (2004-07-01), Oldman
patent: 6817014 (2004-11-01), Hundt et al.
patent: 6874141 (2005-03-01), Swamy et al.
patent: 7065760 (2006-06-01), Dmitriev
patent: 7165242 (2007-01-01), Dmitriev
patent: 7178140 (2007-02-01), Dmitriev
patent: 7219338 (2007-05-01), Venter
patent: 7398516 (2008-07-01), Berg et al.
patent: 7398517 (2008-07-01), Berg et al.
patent: 7409681 (2008-08-01), Graham et al.
patent: 7418734 (2008-08-01), Berg et al.
patent: 7484204 (2009-01-01), Zatloukal
patent: 7484205 (2009-01-01), Venkatapathy
patent: 7487496 (2009-02-01), O'Brien et al.
patent: 7661097 (2010-02-01), Mukkavilli
patent: 2002/0170041 (2002-11-01), Shann
patent: 2004/0143814 (2004-07-01), de Jong
patent: 2004/0194072 (2004-09-01), Venter
patent: 2005/0097527 (2005-05-01), Chakrabarti et al.
patent: 2006/0123382 (2006-06-01), O'Brien et al.
patent: 2007/0169027 (2007-07-01), Drepper

Affiliated with

Also associated with

Rating

Methods and systems for complete static analysis of software... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and systems for complete static analysis of software..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and systems for complete static analysis of software... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2638350