[Soot-list] loosing reflection precision with spark

[Bodden, Eric]

Hi Ivan.

Did you try out TamiFlex? https://code.google.com/p/tamiflex/

Cheers,
Eric


> On 05.12.2014, at 20:41, Ivan Postolski <ivan.postolski at gmail.com> wrote:
> 
> Hi guys,
> 
> Is there a way to enable or increase the reflection support when creating a call graph using spark?
> 
> Let me show you an example. I want to analyze a code like the following:
> 
> public class FieldInjectionMain {
> 
>     private WiredInterface wired;
> 
>     public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException {
>         FieldInjectionMain main = new FieldInjectionMain();
>         Field wiredField = main.getClass().getDeclaredField("wired");
>         wiredField.setAccessible(true);
>         wiredField.set(main,new WiredImpl());
>         assert main.doSomething() == 2014;
>     }
> 
>     public int doSomething() {
>         return wired.doSomething();
>     }
> }
> 
> So a call graph aware of reflection will know that the following is a feasible path
> 
> FieldInjectionMain.main(..) -> FieldInjectionMain.doSomething() -> WiredImpl.doSomething()
> 
> And in fact using default call graph, the path is there. But when I enable spark is not longer there.
> 
> Cheers
> 
> Ivan.-
> 
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

-------------- 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/20141206/754b9a76/attachment.bin