<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi all,<div class=""><br class=""></div><div class="">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?</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><span class="pl-smi" style="box-sizing: border-box; color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2;">Options</span><span class="pl-k" style="box-sizing: border-box; color: rgb(215, 58, 73); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2;">.</span><span style="color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2; background-color: rgb(255, 251, 221);" class="">v()</span><span class="pl-k" style="box-sizing: border-box; color: rgb(215, 58, 73); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2;">.</span><span style="color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2; background-color: rgb(255, 251, 221);" class="">setPhaseOption(</span><span class="pl-s" style="box-sizing: border-box; color: rgb(3, 47, 98); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2;"><span class="pl-pds" style="box-sizing: border-box;">"</span>cg<span class="pl-pds" style="box-sizing: border-box;">"</span></span><span style="color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2; background-color: rgb(255, 251, 221);" class="">, </span><span class="pl-s" style="box-sizing: border-box; color: rgb(3, 47, 98); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2;"><span class="pl-pds" style="box-sizing: border-box;">"</span>trim-clinit:false<span class="pl-pds" style="box-sizing: border-box;">"</span></span><span style="color: rgb(36, 41, 46); font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-variant-ligatures: normal; orphans: 2; white-space: pre; widows: 2; background-color: rgb(255, 251, 221);" class="">);</span></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><a href="https://github.com/secure-software-engineering/FlowDroid/blob/1f1ad8059b02d395052e4277758d17819945be7c/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java#L260" class="">https://github.com/secure-software-engineering/FlowDroid/blob/1f1ad8059b02d395052e4277758d17819945be7c/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java#L260</a></div><div class=""><br class=""></div><div class="">Thanks,</div><div class=""><br class=""></div><div class="">Miguel</div></body></html>