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

[Dacong Yan]

Hi Ding,

I think this paper might help you solve the problem:
  Constant propagation with conditional branches
(http://dl.acm.org/citation.cfm?id=103136)

Thanks,
Tony

On Wed, Jun 11, 2014 at 6:22 AM, dingsun <xyz031702 at hotmail.com> wrote:
> 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
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>



-- 
Dacong (Tony) Yan
Ph.D. Student
Computer Science and Engineering
The Ohio State University, Columbus
http://www.cse.ohio-state.edu/~yan