Re: An Algebra for Control Flow Analysis and Decompilation

Path	csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.misty.com!news.iecc.com!.POSTED!nerds-end
From	federation2005@netzero.com
Newsgroups	comp.compilers
Subject	Re: An Algebra for Control Flow Analysis and Decompilation
Date	Fri, 20 Jul 2012 14:38:21 -0700 (PDT)
Organization	Compilers Central
Lines	10
Sender	johnl@iecc.com
Approved	comp.compilers@iecc.com
Message-ID	<12-07-016@comp.compilers> (permalink)
References	<09-01-026@comp.compilers:> <12-07-015@comp.compilers>
NNTP-Posting-Host	news.iecc.com
Mime-Version	1.0
Content-Type	text/plain; charset=ISO-8859-1
X-Trace	leila.iecc.com 1342829305 68287 64.57.183.58 (21 Jul 2012 00:08:25 GMT)
X-Complaints-To	abuse@iecc.com
NNTP-Posting-Date	Sat, 21 Jul 2012 00:08:25 +0000 (UTC)
Keywords	analysis, administrivia
Posted-Date	20 Jul 2012 20:08:25 EDT
X-submission-address	compilers@iecc.com
X-moderator-address	compilers-request@iecc.com
X-FAQ-and-archives	http://compilers.iecc.com
Xref	csiph.com comp.compilers:716

Show key headers only | View raw

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 &quot;An Algebra for Control Flow Analysis&quot;
>
> 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.

Back to comp.compilers | Previous | Next — Previous in thread | Find similar

Thread

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

csiph-web