[Soot-list] [Paddle] Is this a bug of ContextStringNumberer?
olhotak at uwaterloo.ca
Fri Aug 31 12:39:24 EDT 2007
You are correct that this is a bug. I have fixed it in Subversion
revision 3036. Thank you for reporting it.
On Fri, Aug 03, 2007 at 07:26:07PM +0900, MAEDA Naoto wrote:
> I am wondering whether this is a bug of Paddle or not.
> At line 54 in get(Object) method defined in ContextStringNumberer, which
> is obtained from the SVN repository, variable ret is defined as int. Is
> it better to define this variable as long?
> Value to be stored in the variable, which corresponds to a context
> string passed as a parameter, might exceed 32bit when the number of
> invocation sites is quite large. Bit size of StmtDomain is 18 as
> default. then if k=2 cfa, it seems to require 36bit at most.
> I encountered some strange behavior when applying 2cfa analysis on
> jedit2.4pre1-3, sablecc2.18.2, and some of dacapo beta suites. It seems
> to be fixed by defining the variable as long.
> Finally, I would like to say thank you for providing these tools.
> MAEDA Naoto, Common Platform Software Research Laboratories, NEC
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
More information about the Soot-list