Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #715 > unrolled thread

An Algebra for Control Flow Analysis and Decompilation

Back to article view | Back to comp.compilers

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  An Algebra for Control Flow Analysis and Decompilation Mark <federation2005@netzero.com> - 2012-07-16 18:00 -0700
    Re: An Algebra for Control Flow Analysis and Decompilation federation2005@netzero.com - 2012-07-20 14:38 -0700

#715 — An Algebra for Control Flow Analysis and Decompilation

This is a follow-up to an article I posted here (2009 Jan 12) titled
"The Magic Algebra -- The Algebraic Approach to Control Flow
Analysis".

http://compilers.iecc.com/comparch/article/09-01-026

I put a PDF version (with a few minor updates and corrections) on
DocStoc under "An Algebra for Control Flow Analysis"

http://www.docstoc.com/docs/124399972/An-Algebra-for-Control-Flow-Analysis

A few notes of commentary following up on the earlier discussion: the
analysis this discusses was originally carried out as part of a
project (a "legacy code rescue") I was carrying out in 2000.

The key part of the process was the DE-compilation from binary into
high-level language code. A critical ingredient in this process just
happens to be the same that appears in any translation process: the
control flow analysis of the objects in the program and their usage.

The algebra is derived from first principles through an infinitary
form of the lambda calculus and leads to some non-trivial and even
counter-intuitive identities and relations.

(The company, itself, went defunct in 2011, apparently a victim of a
hostile takeover, but was resurrected later in 2011)

[toc] | [next] | [standalone]

#716

On Monday, July 16, 2012 8:00:33 PM UTC-5, Mark wrote:
> I put a PDF version (with a few minor updates and corrections) on
> DocStoc under "An Algebra for Control Flow Analysis"
>
> http://www.docstoc.com/docs/124399972/An-Algebra-for-Control-Flow-Analysis

I'll see what I can do to provide an alternate link. This site (apparently) started hooking into Facebook (which for me is an automatic deal-breaker). The original article, of course, is in the comp.compilers archive, but with ASCII math.

Thanks to the moderator for letting me know of this situation and for nonetheless posting the followup.

[toc] | [prev] | [standalone]

Back to top | Article view | comp.compilers

csiph-web