1. A method of analyzing executable software code by decompiling said executable code, comprising:
parsing said executable software code to identify one or more data flows; recursively, for each identified one or more data flow:
discovering a fitting data flow model fitting the respective identified data flow;
optimizing said fitting data flow model as a function of the respective identified data flow to form a refined data flow model;
propagating said refined data flow model as a function of the respective identified data flow until substantially all data variables are modeled; and
expressing said refined data flow model in an intermediate representation; parsing said executable software code to identify one or more control flows; recursively, for each identified one or more control flow:
discovering a fitting control flow model fitting the respective identified control flow, comprising one or more control branches;
optimizing said fitting control flow model as a function of the respective identified control flow to form a refined control flow model;
propagating said refined control flow model as a function of the respective identified control flow until substantially all said control branches are modeled; and
expressing said refined control flow model in said intermediate representation;
wherein said refined data flow model and said refined control flow model express a complete nanocode model of said executable software code in said intermediate representation.
2. The method of claim 1, further comprising translating said intermediate representation into a high-level language.
3. The method of claim 1, further comprising analyzing said nanocode model.
4. The method of claim 3, wherein said analyzing further comprises:
comparing said nanocode model to a reference nanocode model;
forming a report listing differences;
flagging said differences according to risk severity inherent therein.
5. The method of claim 3, wherein said analyzing further comprises:
performing one or more analytic tasks using one or more corresponding pre-defined task scripts, said task scripts comprising a plurality of search, control, andor data instructions to be executed by a control process and producing a result; and
forming a report based on said results of said scripts.
6. The method of claim 5, wherein said task scripts comprise pre-existing scripts and scripts adapted from previous uses.
7. The method of claim 5, wherein said report comprises plain language statements and one or more optional nanocode model annotations.
8. The method of claim 1, wherein said intermediate representation is the Dil Intermediate Language (DIL).
9. The method of claim 1 wherein:
discovering a fitting data flow model comprises:
generating a data flow signature for the respective identified data flow; and
comparing the generated data flow signature to a plurality of stored predetermined data flow signatures, each stored predetermined data flow signature representing a known data flow model; and
discovering a fitting control flow model comprises:
generating a control flow signature for the respective identified control flow; and
comparing the generated control flow signature to a plurality of stored predetermined control flow signatures, each stored predetermined control flow signature representing a known control flow model.
10. An apparatus for analyzing executable software code by decompiling said executable code, comprising:
first means for parsing said executable software code to identify one or more data flows;
means for recursively, for each identified one or more data flow:
discovering a fitting data flow model fitting the respective identified data flow;
optimizing said fitting data flow model as a function of the respective identified data flow to form a refined data flow model;
propagating said refined data flow model as a function of the respective data flow until substantially all data variables are modeled; and
expressing said refined data flow model in an intermediate representation; second means for parsing said executable software code to identify one or more control flows;
means for recursively, for each identified one or more control flow:
discovering a fitting control flow model fitting the respective identified control flow, comprising one or more control branches;
optimizing said fitting control flow model as a function of the respective identified control flow to form a refined control flow model;
propagating said refined control flow model as a function of the respective identified control flow until substantially all said control branches are modeled; and
expressing said refined control flow model in said intermediate representation;
wherein said refined data flow model and said refined control flow model express a nanocode model of said executable software code in said intermediate representation.
11. The apparatus of claim 10, further comprising means for translating said intermediate representation into a high-level language.
12. The apparatus of claim 10, further comprising means for analyzing said nanocode model.
13. The apparatus of claim 12, wherein said means for analyzing further comprises:
means for comparing said nanocode model to a reference nanocode model;
means for forming a report listing differences; and
means for flagging said differences according to risk severity inherent therein.
14. The apparatus of claim 12, wherein said means for analyzing further comprises:
means for performing one or more analytic tasks using one or more corresponding pre-defined task scripts, said task scripts comprising a plurality of search, control, andor data instructions to be executed by a control process and producing a result; and
means for forming a report based on said results of said scripts.
15. The apparatus of claim 14, wherein said task scripts comprise pre-existing scripts and scripts adapted from previous uses.
16. The apparatus of claim 14, wherein said report comprises plain language statements and one or more optional nanocode model annotations.
17. The apparatus of claim 10, wherein said intermediate representation is the Dil Intermediate Language (DIL).
18. The apparatus of claim 10, wherein:
discovering a fitting data flow model comprises:
generating a data flow signature for the respective identified data flow; and
comparing the generated data flow signature to a plurality of stored predetermined data flow signatures, each stored predetermined data flow signature representing a known data flow model; and
discovering a fitting control flow model comprises:
generating a control flow signature for the respective identified control flow; and
comparing the generated control flow signature to a plurality of stored predetermined control flow signatures, each stored predetermined control flow signature representing a known control flow model.
19. A computer system for use in analyzing executable software code by decompiling said executable code, the system comprising computer instructions for:
parsing said executable software code to identify one or more data flows;
recursively, for each identified one or more data flow:
discovering a fitting data flow model fitting the respective identified data flow;
optimizing said fitting data flow model as a function of the respective identified data flow to form a refined data flow model;
propagating said refined data flow model as a function of the respective identified data flow until substantially all data variables are modeled; and
expressing said refined data flow model in an intermediate representation;
parsing said executable software code to identify one or more control flows;
recursively, for each identified one or more control flow:
discovering a fitting control flow model fitting the respective identified control flow comprising one or more control branches;
optimizing said fitting control flow model as a function of the respective identified control flow to form a refined control flow model;
propagating said refined control flow model as a function of the respective identified control flow until substantially all said control branches are modeled; and
expressing said refined control flow model in said intermediate representation;
wherein said refined data flow model and said refined control flow model express a nanocode model of said executable software code in said intermediate representation.
20. The computer system of claim 19, further comprising computer instructions for translating said intermediate representation into a high-level language.
21. The computer system of claim 19, further comprising computer instructions for analyzing said nanocode model.
22. The computer system of claim 21, wherein said computer instructions for analyzing further comprise computer instructions for:
comparing said nanocode model to a reference nanocode model;
forming a report listing differences; and
flagging said differences according to risk severity inherent therein.
23. The computer system of claim 21, wherein said computer instructions for analyzing further comprise computer instructions for:
performing one or more analytic tasks using one or more corresponding pre-defined task scripts, said task scripts comprising a plurality of search, control, andor data instructions to be executed by a control process and producing a result; and
forming a report based on said results of said scripts.
24. The computer system of claim 23, wherein said task scripts comprise pre-existing scripts and scripts adapted from previous uses.
25. The computer system of claim 23, wherein said report comprises plain language statements and one or more optional nanocode model annotations.
26. The computer system of claim 19, wherein said intermediate representation is the Dil Intermediate Language (DIL).
27. The system of claim 19, wherein:
discovering a fitting data flow model comprises:
generating a data flow signature for the respective identified data flow; and
comparing the generated data flow signature to a plurality of stored predetermined data flow signatures, each stored predetermined data flow signature representing a known data flow model; and
discovering a fitting control flow model comprises:
generating a control flow signature for the respective identified control flow; and
comparing the generated control flow signature to a plurality of stored predetermined control flow signatures, each stored predetermined control flow signature representing a known control flow model.
28. A computer-readable medium storing a computer program for use in analyzing executable software code by decompiling said executable code, said computer program executable by a plurality of server computers, the medium comprising computer instructions for:
parsing said executable software code to identify one or more data flows;
recursively, for each identified one or more data flow:
discovering a filling data flow model fitting the respective identified data flow;
optimizing said filling data flow model as a function of the respective identified data flow to form a refined data flow model;
propagating said refined data flow model as a function of the respective identified data flow until substantially all data variables are modeled; and
expressing said refined data flow model in an intermediate representation;
parsing said executable software code to identify one or more control flows;
recursively, for each identified one or more control flow:
discovering a filling control flow model fitting the respective identified control flow comprising one or more control branches;
optimizing said filling control flow model as a function of the respective identified control flow to form a refined control flow model;
propagating said refined control flow model as a function of the respective identified control flow until substantially all said control branches are modeled; and
expressing said refined control flow model in said intermediate representation;
wherein said refined data flow model and said refined control flow model express a nanocode model of said executable software code in said intermediate representation.
29. The computer-readable medium of claim 28, further comprising computer instructions for translating said intermediate representation into a high-level language.
30. The computer-readable medium of claim 28, further comprising computer instructions for analyzing said nanocode model.
31. The computer-readable medium of claim 30, wherein said computer instructions for analyzing further comprise computer instructions for:
comparing said nanocode model to a reference nanocode model;
forming a report listing differences; and
flagging said differences according to risk severity inherent therein.
32. The computer-readable medium of claim 30, wherein said computer instructions for analyzing further comprise computer instructions for:
performing one or more analytic tasks using one or more corresponding pre-defined task scripts, said task scripts comprising a plurality of search, control, andor data instructions to be executed by a control process and producing a result; and
forming a report based on said results of said scripts.
33. The computer-readable medium of claim 32, wherein said task scripts comprise pre-existing scripts and scripts adapted from previous uses.
34. The computer-readable medium of claim 32, wherein said report comprises plain language statements and one or more optional nanocode model annotations.
35. The computer-readable medium of claim 28, wherein said intermediate representation is the Dil Intermediate Language (DIL).
36. The computer-readable medium of claim 28, wherein:
discovering a fitting data flow model comprises:
generating a data flow signature for the respective identified data flow; and
comparing the generated data flow signature to a plurality of stored predetermined data flow signatures, each stored predetermined data flow signature representing a known data flow model; and
discovering a fitting control flow model comprises:
generating a control flow signature for the respective identified control flow; and
comparing the generated control flow signature to a plurality of stored predetermined control flow signatures, each stored predetermined control flow signature representing a known control flow model.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A medium tray attachable to an image recording apparatus for feeding record medium one by one and recording an image on said medium, said medium tray comprising a depository in which said record medium is loaded such that front and rear portions of said medium have different angles with respect to a feeding direction of said medium when said record medium are in said depository.
2. The medium tray according to claim 1, wherein said depository comprises a medium support on which said front portion of said record medium is put and a rear guide extending upwardly from a rear end of said medium support so that said rear portion of said record medium is guided upwardly.
3. The medium tray according to claim 2, which further comprises a restricting member arranged at said medium support or rear guide and restricting said record medium put in said depository such that said record medium is not spaced from said medium support or rear guide more than a predetermined distance and is transported along said medium support and rear guide when said record medium is fed into said image recording apparatus.
4. The medium tray according to claim 2, wherein said depository further comprises a curved section between said medium support and rear guide.
5. The medium tray according to claim 1, which further comprises a folding member provided at a rear portion of said depository such that said record medium in said depository is folded toward said image recording apparatus.
6. The medium tray according to claim 5, wherein said folding member is composed of a restricting member which restricts said record medium put in said depository such that said record medium is not spaced from said depository more than a predetermined distance and is transported along said depository when said record medium is fed into said image recording apparatus.
7. The medium tray according to claim 6, wherein said restricting member comprises a rotation member which supports said record medium such that said record medium is folded.
8. The medium tray according to claim 5, which further comprises at least one rear supporter provided above said depository for supporting a rear portion of said record medium folded at said folding member.
9. The medium tray according to claim 8, wherein said at least one rear supporters is a plurality of rear supporters, each supporter corresponding to a length of said record medium put in said depository.
10. The medium tray according to claim 8, wherein said rear supporter comprises a rotation member brought into contact with a surface of said record medium facing down after being folded.
11. The medium tray according to claim 8, wherein said rear supporter holds said rear portion of said record medium such that rear portion is rolled up by said rear supporter.
12. The medium tray according to claim 8, wherein said rear supporter is made of at least one shaft.
13. The medium tray according to claim 5, wherein said depository comprises a medium support on which said front portion of said record medium is put and a rear guide extending upwardly from a rear end of said medium support so that said rear portion of said record medium is guided upwardly, and said folding member is composed of said rear guide and an upper guide extending from an top end of said rear guide toward a main body of said image recording apparatus such that said upper guide covers said rear guide.
14. The medium tray according to claim 13, wherein said upper guide can be opened or closed with a side of said main body of said image recording apparatus as a fulcrum.
15. The medium tray according to claim 13, wherein said upper guide comprises a rear supporter for supporting a rear portion of said record medium put in said depository.
16. The medium tray according to claim 15, wherein said rear supporter holds said rear portion of said record medium such that rear portion is rolled up by said rear supporter.
17. The medium tray according to claim 13, wherein said rear guide is made of at least one shaft.
18. The medium tray according to claim 13, wherein said upper guide is made of at least one shaft.
19. An image recording apparatus comprising said medium tray according to claim 1.
20. An image recording apparatus comprising said medium tray according to claim 5, wherein a rear portion of said record medium folded at said folding member is supported by an upper surface of said image recording apparatus.
21. An image recording apparatus comprising said medium tray according to claim 13 and a medium outputting section on an upper face of said image recording apparatus, said medium outputting section outputting said record medium carrying said image, wherein said upper guide is connected to said upper face so that said record medium outputted from said medium outputting section is stacked in said upper guide.
22. The image recording apparatus according to claim 21, wherein said upper face and said upper guide provide a space therebetween in which said rear portion of said record medium put in said depository of said medium tray is supported.