17 citations found. Retrieving documents...
G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In International Conference on Compiler Construction, Barcelona, Spain, Mar. 2004.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Model Checking x86 Executables - With Codesurfer And   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., Lec. Notes in Comp. Sci., pages 5--23. Springer-Verlag, 2004.


A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5--23, 2004.


Improving Pushdown System Model Checking - Akash Lal And   Self-citation (Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In CC, 2004.


CodeSurfer/x86---A Platform for Analyzing x86 - Executables Gogul Balakrishnan   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5--23, 2004.


Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5--23, 2004.


Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5-23, 2004.


Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5--23, 2004.


Extended Weighted Pushdown Systems - Akash Lal Thomas   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Int. Conf. on Comp. Construct., 2004.


Extracting Output Formats from Executables - Junghee Lim Junghee   Self-citation (Reps)   (Correct)

No context found.

G. Balakrishnan. and T. Reps. Analyzing memory accesses in x86 executables. In CC, 2004.


Intermediate-Representation Recovery from Low-Level Code - Thomas Reps Gogul   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In CC, 2004.


WYSINWYX: What You See Is Not What You eXecute - Balakrishnan Reps Melski   Self-citation (Balakrishnan Reps)   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Comp. Construct., pages 5--23, 2004.


Pointer-Range Analysis - Yong, Horwitz (2004)   (1 citation)  (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In International Conference on Compiler Construction, Barcelona, Spain, Mar. 2004.


RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Proceedings of the 13th International Conference on Compiler Construction, pages 5--23, 2004.


RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Proceedings of the 13th International Conference on Compiler Construction, pages 5--23, 2004.


RIFLE: An Architectural Framework for User-Centric - Neil   (Correct)

No context found.

G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Proceedings of the 13th International Conference on Compiler Construction, pages 5--23, 2004.


Interprocedural Analysis (Almost) for Free - Müller-Olm, Seidl, Steffen   (Correct)

No context found.

G. Balakrishnan and T. W. Reps. Analyzing memory accesses in x86 executables. In Compiler Construction, 13th Int. Conf. (CC), pages 5-23. LNCS 2985. Springer-Verlag, 2004.


HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004)   (Correct)

No context found.

Gogul Balakrishnan and Thomas Reps. Analyzing memory accesses in x86 executables. In Proc. of the Intl. Conf. on Compiler Construction (CC), Barcelona, Spain, April 2004.

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