<body><div style="font-family: 'PingFang SC'; font-size: 10.5pt;">
                                <span style="background-color: rgb(255, 255, 255);">Hi all,</span><div><br></div><div>I’m Simon.</div><div><br></div><div>I’m a novice in Java analysis using soot and flowdroid. I have several questions listed below:<br><br></div><div>1. <span style="font-size: 10.5pt;">I’m using FlowDroid. And in the phase of processing an apk, a lot of logs (the faked main method, the Spark information, the transformation information, etc.) are displayed. Is there a switch that can close this verbose information? I’ve tried the option `-v/verbose`, but I've got nothing changed. :-(</span></div><div>2. How to get the source files? I mean, the source file names. I want to show names of the sources files, but I have no idea how to get them in soot. I’ve tried `<span style="font-size: 10.5pt;">someMethod.getTag(“SourceFileTag”).getName()`, </span><span style="font-size: 10.5pt;">but I got nothing. :-(. Did I miss some configuration options?</span></div><div><span style="font-size: 10.5pt;">3. I would like to generate a full inter-procedural program dependencies graph (a.k.a SDG). Is there an interface that can help to do this? I’ve tried `HashMutablePDG`, but I found that it is intra-procedural :-(. And in the phase of transformation, and sometimes, some method cannot be transformed (an exception will be thrown at times, not usually)</span></div><div><br></div><div>I would appreciate if anybody can give me a hand. Thanks a lot!<br><div class="yomail-sig" style="margin: 0px; padding: 0px;"><div class="yomail-sig" style="padding: 0px; margin: 0px;"><div style="font-size: 10.5pt;"><div style="font-size: 10.5pt;"><div spellcheck="false" style="font-size: 10.5pt;"><br></div><div spellcheck="false" style="font-size: 10.5pt;">--</div><div spellcheck="false" style="font-size: 10.5pt;">Sincerely,</div><div spellcheck="false" style="font-size: 10.5pt;">Simon</div></div></div></div></div></div><div class="yomail-sig" style="margin:0;padding:0;"><div class="yomail-sig" style="padding: 0px; margin: 0px;"><span> </span><div style="font-family: 'PingFang SC'; font-size: 10.5pt;"><div style="font-family: 'PingFang SC'; font-size: 10.5pt;"><div style="font-family: 'PingFang SC'; font-size: 10.5pt;">
                        </div>
                        </div>
                        </div></div></div>
                        
                        </div></body>