Glasscock, P.E. An 80x86 to C Reverse Compiler. Diploma in Computer Science Dissertation, Computer Laboratory, Cambridge University, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Type-Based Decompilation - Mycroft (1999) (5 citations) (Correct)
....and without great cost. Acknowledgments I would like to thank the anonymous referees for their helpful comments on the draft version of this paper. Thanks are also due to Pete Glasscock (a student on the Diploma in Computer Science at Cambridge in 1997 98) for illustrating, in his dissertation [6], what could be done in the way of decompilation without type based reconstruction of source. ....
Glasscock, P.E. An 80x86 to C Reverse Compiler. Diploma in Computer Science Dissertation, Computer Laboratory, Cambridge University, 1998.
Type-Based Decompilation - Mycroft (1998) (5 citations) (Correct)
.... such object via a pointer) As in Fortran it can be hard to distinguish array type int [10] 10] from int[100] Similarly, arrays or structs containing other arrays or structs cannot in general be uniquely decoded, consider distinguishing objects x1, x3 defined by: struct S1 int a; int b[4]; int c; int d[4] x1; struct S2 int a; int b[4] x2[2] struct S3 struct S2 c,d; x3; We are exploring various options for constraint resolution when array indexing and struct selection occurs. Consider code like that discussed in section 4.3: ld.b 0[r0] r1 ld.b 48[r0] r2 ld.w (r5) r0] r3 ....
.... a pointer) As in Fortran it can be hard to distinguish array type int [10] 10] from int[100] Similarly, arrays or structs containing other arrays or structs cannot in general be uniquely decoded, consider distinguishing objects x1, x3 defined by: struct S1 int a; int b[4] int c; int d[4]; x1; struct S2 int a; int b[4] x2[2] struct S3 struct S2 c,d; x3; We are exploring various options for constraint resolution when array indexing and struct selection occurs. Consider code like that discussed in section 4.3: ld.b 0[r0] r1 ld.b 48[r0] r2 ld.w (r5) r0] r3 There are several ....
[Article contains additional citation context not shown here]
Glasscock, P.E. An 80x86 to C Reverse Compiler. Diploma in Computer Science Dissertation, Computer Laboratory, Cambridge University, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC