[Soot-list] Traverse a CFG based on a given test case

[dingsun]

Hi All,
If I have a CFG generated by Soot and a test case, is it possible to traverse the branches that are accessible by that test case?
For example, if there is a simple function:
/*n1*/ void fun(int a, int b){/*n2*/   if(a>1 && b>3){/*n3*/      System.out.println("hello123");            }/*n4*/      System.out.println("hello456");           }
And a given test case:  a=6, b=7, is it possible to use this test case to "guide" Soot to traverse the path: (n1, n2, n3, n4)  is it possible to use this test case to "guide" Soot to avoid traversing the path (n1, n2, n4) 
Thanks a lot!
Best regards,Ding Sun
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140611/e826a30b/attachment.html