[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Introduction

Subject: Re: Introduction
From: Helge Jensen <jensen@slog.dk>
Date: Wed, 02 Jun 2004 23:40:20 +0200
Cc: soot-list@sable.mcgill.ca
In-reply-to: <Pine.LNX.4.44.0406021657320.6905-100000@has.CS.McGill.CA>
References: <Pine.LNX.4.44.0406021657320.6905-100000@has.CS.McGill.CA>
Sender: owner-soot-list@sable.mcgill.ca
User-agent: Mozilla Thunderbird 0.5 (Windows/20040207)

Patrick LAM wrote:

  1. using structural analysis to recreate the compositional
control-flow from jimple-code into a simple "WHILE"-type language

Dava does this. I think it's in the main Soot tree.

That's interesting. Are there any places to go for docs on dava, except the papers on Decompilation at http://www.sable.mcgill.ca/publications/papers ? (reading them now).

The SET seems to be almost the thing I need... except the breaks and continues... I'll have a closer look. Thanks for the pointer.

I think it shouldn't take 20 minutes to do a whole-program analysis, but
I'm not current on that area.  Maybe Ondrej will comment on that.

I hope so. My adventures with reducing the call-graph via ReachableMethods.addMethod seems to lead into unsound territory :(

--
Helge

References:
- Re: Introduction
  - From: Patrick LAM <plam@sable.mcgill.ca>

Prev by Date: Re: Introduction
Next by Date: Re: possible bug: ConcurrentModificationException with spark andsmall test-program
Previous by thread: Re: Introduction
Next by thread: Limiting whole-program analysis
Index(es):
- Date
- Thread