[Soot-list] Following method call parameters to detect possible values

[slayer]

Hi,
I have the following test program:

================

package main;

public class Main {

    public final static int toFind = 11;

    public final static int toFindTwo = 15;

    public static void main(String args[]) {

        secondMethod(toFind, toFindTwo);

    }



    public static void secondMethod(int x, int y) {

    thirdMethod(x,y);

    }



    public static void thirdMethod(int x, int y) {

    TestClass testClass = new TestClass();

        testClass.testMethod(x);

        testClass.testMethod(y);

    }

}

================

I'd like to be able to get all edges into testMethod and either use an
existing analysis to try and detect their values (through the nested
calls), or simply backtrace through the statements leading to the call.

So in short, I want my analysis to get 'testMethod' as input, and for it to
be able to output 11, 15.

Could someone please point me towards the right classes/examples?
Thank you!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160407/a04578ce/attachment-0001.html