[Soot-list] [FlowDroid] [Question] trim-clinit:false?

[Miguel Velez]

Hi all,

Does anyone know why FlowDroid sets the following option to false when creating a call graph? Why not use the default value to trim clint edges?


Options.v().setPhaseOption("cg", "trim-clinit:false");


https://github.com/secure-software-engineering/FlowDroid/blob/1f1ad8059b02d395052e4277758d17819945be7c/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java#L260 <https://github.com/secure-software-engineering/FlowDroid/blob/1f1ad8059b02d395052e4277758d17819945be7c/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java#L260>

Thanks,

Miguel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20191030/060f22cf/attachment.html>