<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small"><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">Hi all,</span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">To help identify<i> inter-process</i> dependencies in distributed programs, I am attempting a Jimple-level instrumentation that inserts probes after all function calls related to all network I/Os</span><span style="font-family:arial,sans-serif;font-size:13px">. In the simplest case, I could just identify all calls of socket.getInput/OutputStream as such instrumentation points, yet that would not give me a complete set of such points.</span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">Is there a better approach to <i>completely (for a 100% recall) </i>instrumenting such interceptions through </span><span style="font-family:arial,sans-serif;font-size:13px">static analysis?  Or, as a compromise, is there some alternative (even dynamic-analysis) approaches to capture all network I/O related function calls? </span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">I am also wondering if there exists any relevant utilities in the latest version of Soot or its derivatives (FlowDroid, heros, etc.) that could help with this task. </span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">Any thoughts and clues are appreciated.</span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px"><br></span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">Thanks.</span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">Haipeng Cai</span></div><div class="gmail_default"><span style="font-family:arial,sans-serif;font-size:13px">______________________________</span><span style="font-family:arial,sans-serif;font-size:13px">_________________</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">Soot-list mailing list</span><br style="font-family:arial,sans-serif;font-size:13px"><a href="mailto:Soot-list@CS.McGill.CA" target="_blank" style="font-family:arial,sans-serif;font-size:13px">Soot-list@CS.McGill.CA</a><br style="font-family:arial,sans-serif;font-size:13px"><a href="https://mailman.cs.mcgill.ca/mailman/listinfo/soot-list" target="_blank" style="font-family:arial,sans-serif;font-size:13px">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a></div></div></div>