Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-04-17
2007-04-17
Ingberg, Todd (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S157000, C703S023000, C703S021000
Reexamination Certificate
active
10651839
ABSTRACT:
A method and a system for constructing a control flow graph (CFG,106) from an executable computer program (104). The solution detects data intermixed with instructions and instruction set changes. The method includes the steps of defining block leader types specifying basic block boundaries in the program (104), building a CFG structure (106) according to the basic blocks found in the program, and adding control flow and addressing information to the CFG (106) by propagating through the basic blocks and internals thereof. The CFG (106) may be then optimised (108) and a compacted executable (112) created as a result.
REFERENCES:
patent: 5274811 (1993-12-01), Borg et al.
patent: 5339238 (1994-08-01), Benson
patent: 5450575 (1995-09-01), Sites
patent: 5488714 (1996-01-01), Skidmore
patent: 5557761 (1996-09-01), Chan et al.
patent: 5613117 (1997-03-01), Davidson et al.
patent: 5689712 (1997-11-01), Heisch
patent: 5854929 (1998-12-01), Van Praet et al.
patent: 5867400 (1999-02-01), El-Ghoroury et al.
patent: 5896521 (1999-04-01), Shackleford et al.
patent: 5911059 (1999-06-01), Profit, Jr.
patent: 5918035 (1999-06-01), Van Praet et al.
patent: 5920721 (1999-07-01), Hunter et al.
patent: 5966539 (1999-10-01), Srivastava
patent: 5999732 (1999-12-01), Bak et al.
patent: 5999737 (1999-12-01), Srivastava
patent: 6026238 (2000-02-01), Bond et al.
patent: 6038391 (2000-03-01), Kawaba
patent: 6044222 (2000-03-01), Simons et al.
patent: 6061513 (2000-05-01), Scandura
patent: 6067412 (2000-05-01), Blake et al.
patent: 6195748 (2001-02-01), Chrysos et al.
patent: 6282701 (2001-08-01), Wygodny et al.
patent: 6367033 (2002-04-01), Jibbe
patent: 6463582 (2002-10-01), Lethin et al.
patent: 6772106 (2004-08-01), Mahlke et al.
patent: 6934935 (2005-08-01), Bennett et al.
patent: 7003746 (2006-02-01), Hyduke et al.
patent: 7017154 (2006-03-01), Haber et al.
patent: 7036116 (2006-04-01), Haber et al.
Retargetable Generation of Code Selectors from HDL Processor Models, Rainer Leupers et al, IEEE, 1997, pp. 140-144.
ISDL: An Instruction Det Description Language for Retargetability, George Hadjiyiannis et al, 1997, ACM, 4 pages.
Move: A Framework for High Performance Processor Design, Henk Corporaal et al, ACM, 1991, pp. 692-701.
Cosynthesis with the MOVE framework, Henk Corporaal et al, 1996, 6 pages.
HMDES Version 2.0 Specification, John C. Gyllenhaal et al, Technical Report IMPACT-96-3, 1996, 82 pages.
Elcor's Machine Description System: Version 3.0, Shail Aditya et al, HPL-98-128, Oct. 1998, 76 pages.
“A Methodology for Decompilation” by C. Cifuentes et al XIX Conferencia Latinoamericana de Informatica, Buenos Aires, Argentine, Aug. 2-6, 1993, pp. 257-266.
“Compiler Techniques for Code Compaction” by S. Debray et al ACM Transactions on Programming Languages and Systems, vol. 22, No. 2, Mar. 2000, pp. 378-415.
Bicsák Attila
Ferenc Rudolf
Gyimóthy Tibor
Kiss Ákos
Ingberg Todd
Nokia Corporation
LandOfFree
Constructing control flows graphs of binary executable... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Constructing control flows graphs of binary executable..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructing control flows graphs of binary executable... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3753312