[Soot-list] "Domain cannot be 90 > 64 bits"

[Khilan Gudka]

Dear Naoto (and all),

Thanks for your reply. What are the bits actually used for? One bit pattern
per invoke statement (if that is what is being used for the context)?

Khilan

On 08/02/2008, MAEDA Naoto <n-maeda at bp.jp.nec.com> wrote:
>
>
> >> I'm experimenting with paddle and have come across a slight problem. It
> >> only seems to allow call strings of maximum length 3. If I specify a
> >> larger value like 5, I get an error like "Domain cannot be 90 > 64
> >> bits".** It seems to be using 18 bits per call string element. How can
> I
> >> set the call string length to something much larger?
> >>
> >> My paddle options are: conf:ofcg,context:kcfa,k:n,backend:buddy
> >
> > You may want to see soot.jimple.paddle.bdddomains.StmtDomain.jedd. By
> > reducing the bit width for StmtDomain and re-compiling paddle you may
> > increase the maximum length for call string unless number of statements
>                                               ^^^^^^
>              I made a mistake. "unless" ->  "as long as".
>
> > to be analyzed is small enough, I think.
>
> --
>   MAEDA Naoto, Common Platform Software Research Laboratories, NEC
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20080208/170eaf2e/attachment.htm