[Soot-list] Inter-procedure constant propagation

[Bodden, Eric]

> There is an example implementation in soot.jimple.toolkits.ide.exampleproblems.IFDSReachingDefinitions. 
> 
> Currently, I use it to find all reaching definitions. Looks like you could use that information or supplement that information for your purpose. There may be a better way to do it though.

Right. But keep in mind that IFDS implements "may" problems. Paul apparently wants to know when a value "must" be a constant. That makes the problem harder, as one would typically need to track all non-constant values to have a may-not-be-constant analysis (which then has a must-be-constant-analysis as its inverse).

Cheers,
Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131021/b917f711/attachment.bin